3824 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()  local
3825 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
5350 	struct bpf_verifier_state *vstate = env->cur_state;  in mark_reg_stack_read()  local
5351 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_reg_stack_read()
5390 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read_fixed_off()  local
5391 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read_fixed_off()
5717 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()  local
5718 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_mem_region_access()
6062 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()  local
6063 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
10386 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()  argument
10388 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_pkt_end()
10429 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()  local
10434 	err = release_reference_nomark(vstate, ref_obj_id);  in release_reference()
10438 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in release_reference()
14450 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()  local
14466 	if (vstate->speculative)  in sanitize_ptr_alu()
14539 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()  local
14546 	if (!vstate->speculative)  in sanitize_mark_insn_seen()
14664 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()  local
14665 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
15617 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()  local
15618 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
15699 		print_verifier_state(env, vstate, vstate->curframe, true);  in adjust_reg_min_max_vals()
15704 		print_verifier_state(env, vstate, vstate->curframe, true);  in adjust_reg_min_max_vals()
15992 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()  argument
16064 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in find_good_pkt_pointers()
16632 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()  argument
16635 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
16645 		WARN_ON_ONCE(release_reference_nomark(vstate, id));  in mark_ptr_or_null_regs()
16647 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in mark_ptr_or_null_regs()
16779 static void collect_linked_regs(struct bpf_verifier_state *vstate, u32 id,  in collect_linked_regs()  argument
16787 	for (i = vstate->curframe; i >= 0; i--) {  in collect_linked_regs()
16788 		func = vstate->frame[i];  in collect_linked_regs()
16805 static void sync_linked_regs(struct bpf_verifier_state *vstate, struct bpf_reg_state *known_reg,  in sync_linked_regs()  argument
16815 		reg = e->is_reg ? &vstate->frame[e->frameno]->regs[e->regno]  in sync_linked_regs()
16816 				: &vstate->frame[e->frameno]->stack[e->spi].spilled_ptr;  in sync_linked_regs()