165 struct verifier_state {  struct
173 	struct verifier_state state;  argument
183 	struct verifier_state st;
198 	struct verifier_state cur_state; /* current verifier state */
432 static struct verifier_state *push_stack(struct verifier_env *env, int insn_idx,  in push_stack()
552 static int check_stack_write(struct verifier_state *state, int off, int size,  in check_stack_write()
586 static int check_stack_read(struct verifier_state *state, int off, int size,  in check_stack_read()
676 	struct verifier_state *state = &env->cur_state;  in check_mem_access()
775 	struct verifier_state *state = &env->cur_state;  in check_stack_boundary()
934 	struct verifier_state *state = &env->cur_state;  in check_call()
1179 	struct verifier_state *other_branch;  in check_cond_jmp_op()
1621 static bool states_equal(struct verifier_state *old, struct verifier_state *cur)  in states_equal()
1708 	struct verifier_state *state = &env->cur_state;  in do_check()