1720 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()  local
1721 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
2404 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read()  local
2405 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read()
2585 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()  local
2586 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_mem_region_access()
2643 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()  local
2644 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
4681 	struct bpf_verifier_state *vstate = env->cur_state;  in clear_all_pkt_pointers()  local
4684 	for (i = 0; i <= vstate->curframe; i++)  in clear_all_pkt_pointers()
4685 		__clear_all_pkt_pointers(env, vstate->frame[i]);  in clear_all_pkt_pointers()
4713 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()  local
4721 	for (i = 0; i <= vstate->curframe; i++)  in release_reference()
4722 		release_reg_references(env, vstate->frame[i], ref_obj_id);  in release_reference()
5399 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()  local
5414 	if (vstate->speculative)  in sanitize_ptr_alu()
5455 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()  local
5456 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
6446 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()  local
6447 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
6718 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()  argument
6789 	for (i = 0; i <= vstate->curframe; i++)  in find_good_pkt_pointers()
6790 		__find_good_pkt_pointers(vstate->frame[i], dst_reg, type,  in find_good_pkt_pointers()
7294 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()  argument
7297 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
7310 	for (i = 0; i <= vstate->curframe; i++)  in mark_ptr_or_null_regs()
7311 		__mark_ptr_or_null_regs(vstate->frame[i], id, is_null);  in mark_ptr_or_null_regs()
7411 static void find_equal_scalars(struct bpf_verifier_state *vstate,  in find_equal_scalars()  argument
7418 	for (i = 0; i <= vstate->curframe; i++) {  in find_equal_scalars()
7419 		state = vstate->frame[i];  in find_equal_scalars()
8912 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()  argument
8919 	if (vparent->curframe != vstate->curframe) {  in propagate_liveness()
8921 		     vparent->curframe, vstate->curframe);  in propagate_liveness()
8926 	for (frame = 0; frame <= vstate->curframe; frame++) {  in propagate_liveness()
8928 		state = vstate->frame[frame];  in propagate_liveness()
8932 		for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) {  in propagate_liveness()