2457 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()  local
2458 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
3249 	struct bpf_verifier_state *vstate = env->cur_state;  in mark_reg_stack_read()  local
3250 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_reg_stack_read()
3300 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read_fixed_off()  local
3301 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read_fixed_off()
3596 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()  local
3597 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_mem_region_access()
3817 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()  local
3818 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
6590 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()  argument
6592 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_pkt_end()
7993 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()  local
8010 	if (vstate->speculative)  in sanitize_ptr_alu()
8082 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()  local
8089 	if (!vstate->speculative)  in sanitize_mark_insn_seen()
8208 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()  local
8209 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
9164 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()  local
9165 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
9415 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()  argument
9487 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in find_good_pkt_pointers()
9993 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()  argument
9996 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
10008 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in mark_ptr_or_null_regs()
10118 static void find_equal_scalars(struct bpf_verifier_state *vstate,  in find_equal_scalars()  argument
10124 	bpf_for_each_reg_in_vstate(vstate, state, reg, ({  in find_equal_scalars()
11799 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()  argument
11806 	if (vparent->curframe != vstate->curframe) {  in propagate_liveness()
11808 		     vparent->curframe, vstate->curframe);  in propagate_liveness()
11813 	for (frame = 0; frame <= vstate->curframe; frame++) {  in propagate_liveness()
11815 		state = vstate->frame[frame];  in propagate_liveness()
11819 		for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) {  in propagate_liveness()