1666 	for (i = 0; i <= state->curframe; i++) {  in free_verifier_state()
1738 	for (i = src->curframe + 1; i <= dst_state->curframe; i++) {  in copy_verifier_state()
1747 	dst_state->curframe = src->curframe;  in copy_verifier_state()
1759 	for (i = 0; i <= src->curframe; i++) {  in copy_verifier_state()
1782 	struct bpf_func_state *state = cur->frame[cur->curframe];  in explored_state()
1791 	if (a->curframe != b->curframe)  in same_callsites()
1794 	for (fr = a->curframe; fr >= 0; fr--)  in same_callsites()
3740 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
4505 			st->curframe);  in mark_all_scalars_precise()
4515 		for (i = 0; i <= st->curframe; i++) {  in mark_all_scalars_precise()
4549 	for (i = 0; i <= st->curframe; i++) {  in mark_all_scalars_imprecise()
4671 	bt_init(bt, env->cur_state->curframe);  in __mark_chain_precision()
4707 			if (st->curframe == 0 &&  in __mark_chain_precision()
5018 	cur = env->cur_state->frame[env->cur_state->curframe];  in check_stack_write_fixed_off()
5157 	cur = env->cur_state->frame[env->cur_state->curframe];  in check_stack_write_var_off()
5264 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_reg_stack_read()
5305 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read_fixed_off()
5633 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_mem_region_access()
5963 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
8773 	for (fr = old->curframe; fr >= 0; fr--) {  in widen_imprecise_scalars()
8888 	struct bpf_func_state *cur_fr = cur_st->frame[cur_st->curframe], *queued_fr;  in process_iter_next_call()
8927 		queued_fr = queued_st->frame[queued_st->curframe];  in process_iter_next_call()
10184 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_pkt_end()
10281 	if (state->curframe + 1 >= MAX_CALL_FRAMES) {  in setup_func_entry()
10283 			state->curframe + 2);  in setup_func_entry()
10287 	if (state->frame[state->curframe + 1]) {  in setup_func_entry()
10289 			state->curframe + 1);  in setup_func_entry()
10293 	caller = state->frame[state->curframe];  in setup_func_entry()
10297 	state->frame[state->curframe + 1] = callee;  in setup_func_entry()
10306 			state->curframe + 1 /* frameno within this callchain */,  in setup_func_entry()
10313 	state->curframe++;  in setup_func_entry()
10319 	state->frame[state->curframe + 1] = NULL;  in setup_func_entry()
10455 	caller = state->frame[state->curframe];  in push_callback_call()
10511 	callback_state->frame[callback_state->curframe - 1]->callback_depth++;  in push_callback_call()
10530 	caller = state->frame[state->curframe];  in check_func_call()
10590 		print_verifier_state(env, state, state->curframe, true);  in check_func_call()
10811 	if (!state->curframe)  in in_rbtree_lock_required_cb()
10814 	callee = state->frame[state->curframe];  in in_rbtree_lock_required_cb()
10840 	callee = state->frame[state->curframe];  in prepare_func_exit()
10853 	caller = state->frame[state->curframe - 1];  in prepare_func_exit()
10901 	state->frame[state->curframe--] = NULL;  in prepare_func_exit()
11441 					env->cur_state->curframe);  in check_helper_call()
13466 		regs = branch->frame[branch->curframe]->regs;  in check_kfunc_call()
14051 		regs = branch->frame[branch->curframe]->regs;  in sanitize_speculative_path()
14287 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
15181 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
15262 		print_verifier_state(env, vstate, vstate->curframe, true);  in adjust_reg_min_max_vals()
15267 		print_verifier_state(env, vstate, vstate->curframe, true);  in adjust_reg_min_max_vals()
16155 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
16307 	for (i = vstate->curframe; i >= 0; i--) {  in collect_linked_regs()
16375 	struct bpf_reg_state *regs = this_branch->frame[this_branch->curframe]->regs;  in check_cond_jmp_op()
16474 			print_insn_state(env, this_branch, this_branch->curframe);  in check_cond_jmp_op()
16488 			print_insn_state(env, this_branch, this_branch->curframe);  in check_cond_jmp_op()
16511 	other_branch_regs = other_branch->frame[other_branch->curframe]->regs;  in check_cond_jmp_op()
16605 		print_insn_state(env, this_branch, this_branch->curframe);  in check_cond_jmp_op()
18234 	for (i = 0; i <= st->curframe; i++)  in clean_verifier_state()
18713 	if (old->curframe != cur->curframe)  in states_equal()
18733 	for (i = 0; i <= old->curframe; i++) {  in states_equal()
18734 		insn_idx = i == old->curframe  in states_equal()
18789 	if (vparent->curframe != vstate->curframe) {  in propagate_liveness()
18791 		     vparent->curframe, vstate->curframe);  in propagate_liveness()
18796 	for (frame = 0; frame <= vstate->curframe; frame++) {  in propagate_liveness()
18802 		for (i = frame < vstate->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++) {  in propagate_liveness()
18836 	for (fr = old->curframe; fr >= 0; fr--) {  in propagate_precision()
18888 	int i, fr = cur->curframe;  in states_maybe_looping()
18890 	if (old->curframe != fr)  in states_maybe_looping()
18971 	for (fr = old->curframe; fr >= 0; fr--) {  in iter_active_depths_differ()
19025 			struct bpf_func_state *frame = sl->state.frame[sl->state.curframe];  in is_state_visited()
19028 			    frame->async_entry_cnt != cur->frame[cur->curframe]->async_entry_cnt) {  in is_state_visited()
19084 					cur_frame = cur->frame[cur->curframe];  in is_state_visited()
19123 				print_verifier_state(env, cur, cur->curframe, true);  in is_state_visited()
19125 				print_verifier_state(env, &sl->state, cur->curframe, true);  in is_state_visited()
19298 	for (j = 0; j <= cur->curframe; j++) {  in is_state_visited()
19299 		for (i = j < cur->curframe ? BPF_REG_6 : 0; i < BPF_REG_FP; i++)  in is_state_visited()
19306 	for (j = 0; j <= cur->curframe; j++) {  in is_state_visited()
19466 			print_verifier_state(env, state, state->curframe, true);  in do_check()
19472 				print_insn_state(env, state, state->curframe);  in do_check()
19622 				err = check_resource_leak(env, exception_exit, !env->cur_state->curframe,  in do_check()
19640 				if (state->curframe) {  in do_check()
22672 	state->curframe = 0;  in do_check_common()
22688 	regs = state->frame[state->curframe]->regs;  in do_check_common()