957 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()  local
958 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
972 		return mark_reg_read(env, vstate, vstate->parent, regno);  in check_reg_arg()
1168 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read()  local
1169 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read()
1201 		mark_stack_slot_read(env, vstate, vstate->parent, spi,  in check_stack_read()
1218 		mark_stack_slot_read(env, vstate, vstate->parent, spi,  in check_stack_read()
1256 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()  local
1257 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
2319 	struct bpf_verifier_state *vstate = env->cur_state;  in clear_all_pkt_pointers()  local
2322 	for (i = 0; i <= vstate->curframe; i++)  in clear_all_pkt_pointers()
2323 		__clear_all_pkt_pointers(env, vstate->frame[i]);  in clear_all_pkt_pointers()
2695 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()  local
2696 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
3156 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()  local
3157 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
3378 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()  argument
3383 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in find_good_pkt_pointers()
3456 	for (j = 0; j <= vstate->curframe; j++) {  in find_good_pkt_pointers()
3457 		state = vstate->frame[j];  in find_good_pkt_pointers()
3702 static void mark_map_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_map_regs()  argument
3705 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_map_regs()
3713 	for (j = 0; j <= vstate->curframe; j++) {  in mark_map_regs()
3714 		state = vstate->frame[j];  in mark_map_regs()
4617 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()  argument
4623 	if (vparent->curframe != vstate->curframe) {  in propagate_liveness()
4625 		     vparent->curframe, vstate->curframe);  in propagate_liveness()
4634 		if (vstate->frame[vstate->curframe]->regs[i].live & REG_LIVE_READ) {  in propagate_liveness()
4635 			err = mark_reg_read(env, vstate, vparent, i);  in propagate_liveness()
4642 	for (frame = 0; frame <= vstate->curframe; frame++) {  in propagate_liveness()
4643 		state = vstate->frame[frame];  in propagate_liveness()
4650 				mark_stack_slot_read(env, vstate, vparent, i, frame);  in propagate_liveness()