3739 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()  local
3740 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
5263 	struct bpf_verifier_state *vstate = env->cur_state;  in mark_reg_stack_read()  local
5264 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_reg_stack_read()
5304 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read_fixed_off()  local
5305 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read_fixed_off()
5632 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()  local
5633 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_mem_region_access()
5962 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()  local
5963 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
10182 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()  argument
10184 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_pkt_end()
10225 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()  local
10230 	err = release_reference_nomark(vstate, ref_obj_id);  in release_reference()
10234 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in release_reference()
14071 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()  local
14088 	if (vstate->speculative)  in sanitize_ptr_alu()
14160 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()  local
14167 	if (!vstate->speculative)  in sanitize_mark_insn_seen()
14286 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()  local
14287 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
15180 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()  local
15181 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
15262 		print_verifier_state(env, vstate, vstate->curframe, true);  in adjust_reg_min_max_vals()
15267 		print_verifier_state(env, vstate, vstate->curframe, true);  in adjust_reg_min_max_vals()
15551 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()  argument
15623 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in find_good_pkt_pointers()
16152 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()  argument
16155 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
16165 		WARN_ON_ONCE(release_reference_nomark(vstate, id));  in mark_ptr_or_null_regs()
16167 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in mark_ptr_or_null_regs()
16299 static void collect_linked_regs(struct bpf_verifier_state *vstate, u32 id,  in collect_linked_regs()  argument
16307 	for (i = vstate->curframe; i >= 0; i--) {  in collect_linked_regs()
16308 		func = vstate->frame[i];  in collect_linked_regs()
16325 static void sync_linked_regs(struct bpf_verifier_state *vstate, struct bpf_reg_state *known_reg,  in sync_linked_regs()  argument
16335 		reg = e->is_reg ? &vstate->frame[e->frameno]->regs[e->regno]  in sync_linked_regs()
16336 				: &vstate->frame[e->frameno]->stack[e->spi].spilled_ptr;  in sync_linked_regs()
18782 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()  argument
18789 	if (vparent->curframe != vstate->curframe) {  in propagate_liveness()
18791 		     vparent->curframe, vstate->curframe);  in propagate_liveness()
18796 	for (frame = 0; frame <= vstate->curframe; frame++) {  in propagate_liveness()
18798 		state = vstate->frame[frame];  in propagate_liveness()
18802 		for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) {  in propagate_liveness()