3976 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()  local
3977 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
5516 	struct bpf_verifier_state *vstate = env->cur_state;  in mark_reg_stack_read()  local
5517 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_reg_stack_read()
5556 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read_fixed_off()  local
5557 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read_fixed_off()
5894 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()  local
5895 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_mem_region_access()
6239 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()  local
6240 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
10548 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()  argument
10550 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_pkt_end()
10591 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()  local
10596 	err = release_reference_nomark(vstate, ref_obj_id);  in release_reference()
10600 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in release_reference()
14654 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()  local
14670 	if (vstate->speculative)  in sanitize_ptr_alu()
14743 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()  local
14750 	if (!vstate->speculative)  in sanitize_mark_insn_seen()
14868 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()  local
14869 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
16204 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()  local
16205 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
16286 		print_verifier_state(env, vstate, vstate->curframe, true);  in adjust_reg_min_max_vals()
16291 		print_verifier_state(env, vstate, vstate->curframe, true);  in adjust_reg_min_max_vals()
16604 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()  argument
16676 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in find_good_pkt_pointers()
17244 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()  argument
17247 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
17257 		WARN_ON_ONCE(release_reference_nomark(vstate, id));  in mark_ptr_or_null_regs()
17259 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in mark_ptr_or_null_regs()
17392 				struct bpf_verifier_state *vstate,  in collect_linked_regs()  argument
17403 	for (i = vstate->curframe; i >= 0; i--) {  in collect_linked_regs()
17404 		live_regs = aux[frame_insn_idx(vstate, i)].live_regs_before;  in collect_linked_regs()
17405 		func = vstate->frame[i];  in collect_linked_regs()
17424 static void sync_linked_regs(struct bpf_verifier_env *env, struct bpf_verifier_state *vstate,  in sync_linked_regs()  argument
17434 		reg = e->is_reg ? &vstate->frame[e->frameno]->regs[e->regno]  in sync_linked_regs()
17435 				: &vstate->frame[e->frameno]->stack[e->spi].spilled_ptr;  in sync_linked_regs()