Lines Matching refs:cur_state
797 bpf_for_each_reg_in_vstate_mask(env->cur_state, state, reg, stack, 1 << STACK_DYNPTR, ({
1122 err = release_irq_state(env->cur_state, st->id);
1127 for (int i = 0; i < env->cur_state->acquired_refs; i++) {
1128 if (env->cur_state->refs[i].id == env->cur_state->active_irq_id) {
1129 insn_idx = env->cur_state->refs[i].insn_idx;
1135 env->cur_state->active_irq_id, insn_idx);
1415 struct bpf_verifier_state *state = env->cur_state;
1443 struct bpf_verifier_state *state = env->cur_state;
1461 struct bpf_verifier_state *state = env->cur_state;
1509 return find_reference_state(env->cur_state, reg->id);
1672 struct bpf_verifier_state *cur = env->cur_state;
1708 struct bpf_verifier_state *cur = env->cur_state;
1750 struct bpf_verifier_state *cur = env->cur_state;
3136 struct bpf_verifier_state *vstate = env->cur_state;
3295 return bpf_mark_chain_precision(env, env->cur_state, regno, NULL);
3475 cur = env->cur_state->frame[env->cur_state->curframe];
3558 return bpf_push_jmp_history(env, env->cur_state, insn_flags,
3598 cur = env->cur_state->frame[env->cur_state->curframe];
3710 struct bpf_verifier_state *vstate = env->cur_state;
3750 struct bpf_verifier_state *vstate = env->cur_state;
3887 return bpf_push_jmp_history(env, env->cur_state, insn_flags,
4064 return bpf_push_jmp_history(env, env->cur_state,
4076 struct bpf_verifier_state *vstate = env->cur_state;
4096 return bpf_push_jmp_history(env, env->cur_state,
4106 return mark_chain_precision_batch(env, env->cur_state);
4367 return env->cur_state->in_sleepable;
4375 return env->cur_state->active_rcu_locks ||
4376 env->cur_state->active_locks ||
4693 !find_reference_state(env->cur_state, info->ref_id)) {
6331 struct bpf_verifier_state *vstate = env->cur_state;
6373 struct bpf_verifier_state *vstate = env->cur_state;
6959 * env->cur_state->active_locks remembers which map value element or allocated
6966 struct bpf_verifier_state *cur = env->cur_state;
7016 if (find_lock_state(env->cur_state, REF_TYPE_LOCK, 0, NULL)) {
7022 if (find_lock_state(env->cur_state, REF_TYPE_RES_LOCK | REF_TYPE_RES_LOCK_IRQ, reg->id, ptr)) {
7601 struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;
8180 err = mark_chain_precision_batch(env, env->cur_state);
8856 bpf_for_each_reg_in_vstate(env->cur_state, state, reg, ({
8933 struct bpf_verifier_state *vstate = env->cur_state;
8989 bpf_for_each_reg_in_vstate(env->cur_state, unused, reg, ({
9002 bpf_for_each_reg_in_vstate_mask(env->cur_state, state, reg, stack, clear_mask, ({
9016 err = release_reference_nomark(env->cur_state, id);
9018 bpf_for_each_reg_in_vstate(env->cur_state, state, reg, ({
9258 struct bpf_verifier_state *state = env->cur_state, *callback_state;
9329 struct bpf_verifier_state *state = env->cur_state;
9348 if (env->cur_state->active_locks) {
9670 struct bpf_verifier_state *state = env->cur_state;
9697 struct bpf_verifier_state *state = env->cur_state, *prev_st;
9926 struct bpf_verifier_state *state = env->cur_state;
9955 if (check_lock && env->cur_state->active_locks) {
9966 if (check_lock && env->cur_state->active_irq_id) {
9971 if (check_lock && env->cur_state->active_rcu_locks) {
9976 if (check_lock && env->cur_state->active_preempt_locks) {
10111 return !env->cur_state->active_rcu_locks &&
10112 !env->cur_state->active_preempt_locks &&
10113 !env->cur_state->active_locks &&
10114 !env->cur_state->active_irq_id &&
10120 if (env->cur_state->active_rcu_locks)
10122 if (env->cur_state->active_preempt_locks)
10124 if (env->cur_state->active_irq_id)
10126 if (env->cur_state->active_locks)
10297 env->cur_state->curframe);
10539 find_reference_state(env->cur_state, meta.ref_obj.id)) {
10615 if (env->cur_state->curframe) {
11473 if (!env->cur_state->active_locks) {
11495 WARN_ON_ONCE(release_reference_nomark(env->cur_state, id));
11497 bpf_for_each_reg_in_vstate(env->cur_state, unused, reg, ({
11570 if (!env->cur_state->active_locks)
11572 s = find_lock_state(env->cur_state, REF_TYPE_LOCK_MASK, id, ptr);
13024 env->cur_state->active_rcu_locks++;
13026 if (env->cur_state->active_rcu_locks == 0) {
13030 if (--env->cur_state->active_rcu_locks == 0)
13033 env->cur_state->active_preempt_locks++;
13035 if (env->cur_state->active_preempt_locks == 0) {
13039 env->cur_state->active_preempt_locks--;
13172 (get_iter_from_state(env->cur_state, &meta)
13433 struct bpf_verifier_state *vstate = env->cur_state;
13522 struct bpf_verifier_state *vstate = env->cur_state;
13644 struct bpf_verifier_state *vstate = env->cur_state;
13824 && !env->cur_state->speculative
14726 struct bpf_verifier_state *vstate = env->cur_state;
15922 struct bpf_verifier_state *this_branch = env->cur_state;
15941 struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;
16344 if (env->cur_state->curframe) {
16512 struct bpf_func_state *frame = env->cur_state->frame[0];
17069 exception_exit || !env->cur_state->curframe,
17087 if (env->cur_state->curframe) {
17199 env->insn_idx, env->cur_state->speculative);
17232 struct bpf_verifier_state *vstate = env->cur_state;
17260 if (env->cur_state->active_locks) {
17317 struct bpf_verifier_state *state = env->cur_state;
17361 env->cur_state->speculative ?
17385 env->cur_state->speculative ?
17482 err = bpf_update_branch_counts(env, env->cur_state);
18292 bpf_free_verifier_state(env->cur_state, true);
18293 env->cur_state = NULL;
18352 env->cur_state = state;