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 */
431 static struct verifier_state *push_stack(struct verifier_env *env, int insn_idx,  in push_stack()
536 static int check_stack_write(struct verifier_state *state, int off, int size,  in check_stack_write()
572 static int check_stack_read(struct verifier_state *state, int off, int size,  in check_stack_read()
648 	struct verifier_state *state = &env->cur_state;  in check_mem_access()
726 	struct verifier_state *state = &env->cur_state;  in check_stack_boundary()
838 	struct verifier_state *state = &env->cur_state;  in check_call()
1056 	struct verifier_state *other_branch;  in check_cond_jmp_op()
1488 static bool states_equal(struct verifier_state *old, struct verifier_state *cur)  in states_equal()
1575 	struct verifier_state *state = &env->cur_state;  in do_check()