198 	struct verifier_state cur_state; /* current verifier state */  member
248 		t = env->cur_state.regs[i].type;  in print_verifier_state()
253 			verbose("%d", env->cur_state.regs[i].imm);  in print_verifier_state()
257 				env->cur_state.regs[i].map_ptr->key_size,  in print_verifier_state()
258 				env->cur_state.regs[i].map_ptr->value_size);  in print_verifier_state()
261 		if (env->cur_state.stack_slot_type[i] == STACK_SPILL)  in print_verifier_state()
263 				reg_type_str[env->cur_state.spilled_regs[i / BPF_REG_SIZE].type]);  in print_verifier_state()
421 	memcpy(&env->cur_state, &env->head->st, sizeof(env->cur_state));  in pop_stack()
441 	memcpy(&elem->st, &env->cur_state, sizeof(env->cur_state));  in push_stack()
630 	struct bpf_map *map = env->cur_state.regs[regno].map_ptr;  in check_map_access()
657 	switch (env->cur_state.regs[regno].type) {  in is_pointer_value()
676 	struct verifier_state *state = &env->cur_state;  in check_mem_access()
738 	struct reg_state *regs = env->cur_state.regs;  in check_xadd()
775 	struct verifier_state *state = &env->cur_state;  in check_stack_boundary()
803 	struct reg_state *reg = env->cur_state.regs + regno;  in check_func_arg()
934 	struct verifier_state *state = &env->cur_state;  in check_call()
1017 	struct reg_state *regs = env->cur_state.regs;  in check_alu_op()
1178 	struct reg_state *regs = env->cur_state.regs;  in check_cond_jmp_op()
1294 	struct reg_state *regs = env->cur_state.regs;  in check_ld_imm()
1351 	struct reg_state *regs = env->cur_state.regs;  in check_ld_abs()
1681 		if (states_equal(&sl->state, &env->cur_state))  in is_state_visited()
1700 	memcpy(&new_sl->state, &env->cur_state, sizeof(env->cur_state));  in is_state_visited()
1708 	struct verifier_state *state = &env->cur_state;  in do_check()