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()
10381 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()  argument
10383 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_pkt_end()
10424 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()  local
10429 	err = release_reference_nomark(vstate, ref_obj_id);  in release_reference()
10433 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in release_reference()
14445 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()  local
14461 	if (vstate->speculative)  in sanitize_ptr_alu()
14534 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()  local
14541 	if (!vstate->speculative)  in sanitize_mark_insn_seen()
14659 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()  local
14660 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
15612 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()  local
15613 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
15694 		print_verifier_state(env, vstate, vstate->curframe, true);  in adjust_reg_min_max_vals()
15699 		print_verifier_state(env, vstate, vstate->curframe, true);  in adjust_reg_min_max_vals()
15987 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()  argument
16059 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in find_good_pkt_pointers()
16627 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()  argument
16630 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
16640 		WARN_ON_ONCE(release_reference_nomark(vstate, id));  in mark_ptr_or_null_regs()
16642 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in mark_ptr_or_null_regs()
16774 static void collect_linked_regs(struct bpf_verifier_state *vstate, u32 id,  in collect_linked_regs()  argument
16782 	for (i = vstate->curframe; i >= 0; i--) {  in collect_linked_regs()
16783 		func = vstate->frame[i];  in collect_linked_regs()
16800 static void sync_linked_regs(struct bpf_verifier_state *vstate, struct bpf_reg_state *known_reg,  in sync_linked_regs()  argument
16810 		reg = e->is_reg ? &vstate->frame[e->frameno]->regs[e->regno]  in sync_linked_regs()
16811 				: &vstate->frame[e->frameno]->stack[e->spi].spilled_ptr;  in sync_linked_regs()