198 	struct verifier_state cur_state; /* current verifier state */  member
247 		t = env->cur_state.regs[i].type;  in print_verifier_state()
252 			verbose("%d", env->cur_state.regs[i].imm);  in print_verifier_state()
256 				env->cur_state.regs[i].map_ptr->key_size,  in print_verifier_state()
257 				env->cur_state.regs[i].map_ptr->value_size);  in print_verifier_state()
260 		if (env->cur_state.stack_slot_type[i] == STACK_SPILL)  in print_verifier_state()
262 				reg_type_str[env->cur_state.spilled_regs[i / BPF_REG_SIZE].type]);  in print_verifier_state()
420 	memcpy(&env->cur_state, &env->head->st, sizeof(env->cur_state));  in pop_stack()
440 	memcpy(&elem->st, &env->cur_state, sizeof(env->cur_state));  in push_stack()
616 	struct bpf_map *map = env->cur_state.regs[regno].map_ptr;  in check_map_access()
648 	struct verifier_state *state = &env->cur_state;  in check_mem_access()
689 	struct reg_state *regs = env->cur_state.regs;  in check_xadd()
726 	struct verifier_state *state = &env->cur_state;  in check_stack_boundary()
754 	struct reg_state *reg = env->cur_state.regs + regno;  in check_func_arg()
838 	struct verifier_state *state = &env->cur_state;  in check_call()
1055 	struct reg_state *regs = env->cur_state.regs;  in check_cond_jmp_op()
1162 	struct reg_state *regs = env->cur_state.regs;  in check_ld_imm()
1219 	struct reg_state *regs = env->cur_state.regs;  in check_ld_abs()
1548 		if (states_equal(&sl->state, &env->cur_state))  in is_state_visited()
1567 	memcpy(&new_sl->state, &env->cur_state, sizeof(env->cur_state));  in is_state_visited()
1575 	struct verifier_state *state = &env->cur_state;  in do_check()