1361 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()  local
1362 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
2016 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read()  local
2017 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read()
2170 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()  local
2171 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
3704 	struct bpf_verifier_state *vstate = env->cur_state;  in clear_all_pkt_pointers()  local
3707 	for (i = 0; i <= vstate->curframe; i++)  in clear_all_pkt_pointers()
3708 		__clear_all_pkt_pointers(env, vstate->frame[i]);  in clear_all_pkt_pointers()
3736 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()  local
3744 	for (i = 0; i <= vstate->curframe; i++)  in release_reference()
3745 		release_reg_references(env, vstate->frame[i], ref_obj_id);  in release_reference()
4274 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()  local
4289 	if (vstate->speculative)  in sanitize_ptr_alu()
4330 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()  local
4331 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
4847 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()  local
4848 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
5103 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()  argument
5174 	for (i = 0; i <= vstate->curframe; i++)  in find_good_pkt_pointers()
5175 		__find_good_pkt_pointers(vstate->frame[i], dst_reg, type,  in find_good_pkt_pointers()
5672 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()  argument
5675 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
5688 	for (i = 0; i <= vstate->curframe; i++)  in mark_ptr_or_null_regs()
5689 		__mark_ptr_or_null_regs(vstate->frame[i], id, is_null);  in mark_ptr_or_null_regs()
7123 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()  argument
7130 	if (vparent->curframe != vstate->curframe) {  in propagate_liveness()
7132 		     vparent->curframe, vstate->curframe);  in propagate_liveness()
7137 	for (frame = 0; frame <= vstate->curframe; frame++) {  in propagate_liveness()
7139 		state = vstate->frame[frame];  in propagate_liveness()
7143 		for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) {  in propagate_liveness()