840 	for (i = 0; i <= state->curframe; i++) {  in free_verifier_state()
885 	for (i = src->curframe + 1; i <= dst_state->curframe; i++) {  in copy_verifier_state()
890 	dst_state->curframe = src->curframe;  in copy_verifier_state()
896 	for (i = 0; i <= src->curframe; i++) {  in copy_verifier_state()
1721 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
2000 		for (i = 0; i <= st->curframe; i++) {  in mark_all_scalars_precise()
2036 	func = st->frame[st->curframe];  in __mark_chain_precision()
2117 		func = st->frame[st->curframe];  in __mark_chain_precision()
2295 	cur = env->cur_state->frame[env->cur_state->curframe];  in check_stack_write()
2405 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read()
2586 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_mem_region_access()
2644 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
4684 	for (i = 0; i <= vstate->curframe; i++)  in clear_all_pkt_pointers()
4721 	for (i = 0; i <= vstate->curframe; i++)  in release_reference()
4748 	if (state->curframe + 1 >= MAX_CALL_FRAMES) {  in check_func_call()
4750 			state->curframe + 2);  in check_func_call()
4762 	caller = state->frame[state->curframe];  in check_func_call()
4763 	if (state->frame[state->curframe + 1]) {  in check_func_call()
4765 			state->curframe + 1);  in check_func_call()
4798 	state->frame[state->curframe + 1] = callee;  in check_func_call()
4807 			state->curframe + 1 /* frameno within this callchain */,  in check_func_call()
4824 	state->curframe++;  in check_func_call()
4845 	callee = state->frame[state->curframe];  in prepare_func_exit()
4858 	state->curframe--;  in prepare_func_exit()
4859 	caller = state->frame[state->curframe];  in prepare_func_exit()
4877 	state->frame[state->curframe + 1] = NULL;  in prepare_func_exit()
5456 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
6447 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
6789 	for (i = 0; i <= vstate->curframe; i++)  in find_good_pkt_pointers()
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()
7418 	for (i = 0; i <= vstate->curframe; i++) {  in find_equal_scalars()
7440 	struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs;  in check_cond_jmp_op()
7527 	other_branch_regs = other_branch->frame[other_branch->curframe]->regs;  in check_cond_jmp_op()
7604 		print_verifier_state(env, this_branch->frame[this_branch->curframe]);  in check_cond_jmp_op()
7953 	struct bpf_func_state *state = cur->frame[cur->curframe];  in explored_state()
8543 	for (i = 0; i <= st->curframe; i++)  in clean_verifier_state()
8590 		    sl->state.curframe != cur->curframe)  in clean_live_states()
8592 		for (i = 0; i <= cur->curframe; i++)  in clean_live_states()
8851 	if (old->curframe != cur->curframe)  in states_equal()
8866 	for (i = 0; i <= old->curframe; i++) {  in states_equal()
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()
8932 		for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) {  in propagate_liveness()
8965 	state = old->frame[old->curframe];  in propagate_precision()
8999 	int i, fr = cur->curframe;  in states_maybe_looping()
9001 	if (old->curframe != fr)  in states_maybe_looping()
9199 	for (j = 0; j <= cur->curframe; j++) {  in is_state_visited()
9200 		for (i = j < cur->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++)  in is_state_visited()
9207 	for (j = 0; j <= cur->curframe; j++) {  in is_state_visited()
9322 			print_verifier_state(env, state->frame[state->curframe]);  in do_check()
9518 				if (state->curframe) {  in do_check()
11267 	state->curframe = 0;  in do_check_common()
11281 	regs = state->frame[state->curframe]->regs;  in do_check_common()