172 	struct bpf_verifier_state st;
635 	struct bpf_verifier_state *cur = env->cur_state;  in func()
1152 static void clear_jmp_history(struct bpf_verifier_state *state)  in clear_jmp_history()
1159 static void free_verifier_state(struct bpf_verifier_state *state,  in free_verifier_state()
1188 static int copy_verifier_state(struct bpf_verifier_state *dst_state,  in copy_verifier_state()
1189 			       const struct bpf_verifier_state *src)  in copy_verifier_state()
1228 static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in update_branch_counts()
1248 	struct bpf_verifier_state *cur = env->cur_state;  in pop_stack()
1274 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,  in push_stack()
1278 	struct bpf_verifier_state *cur = env->cur_state;  in push_stack()
1779 static struct bpf_verifier_state *push_async_cb(struct bpf_verifier_env *env,  in push_async_cb()
2457 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()
2503 			    struct bpf_verifier_state *cur)  in push_jmp_history()
2522 static int get_prev_insn_idx(struct bpf_verifier_state *st, int i,  in get_prev_insn_idx()
2742 				     struct bpf_verifier_state *st)  in mark_all_scalars_precise()
2774 	struct bpf_verifier_state *st = env->cur_state;  in __mark_chain_precision()
3249 	struct bpf_verifier_state *vstate = env->cur_state;  in mark_reg_stack_read()
3300 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read_fixed_off()
3596 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()
3817 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()
5428 	struct bpf_verifier_state *cur = env->cur_state;  in process_spin_lock()
6590 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()
6658 	struct bpf_verifier_state *state = env->cur_state;  in __check_func_call()
6707 		struct bpf_verifier_state *async_cb;  in __check_func_call()
6969 	struct bpf_verifier_state *state = env->cur_state;  in prepare_func_exit()
7963 static struct bpf_verifier_state *
7968 	struct bpf_verifier_state *branch;  in sanitize_speculative_path()
7993 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()
8082 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()
8208 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()
9164 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()
9415 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()
9993 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()
10016 				   struct bpf_verifier_state *this_branch,  in try_match_pkt_pointers()
10017 				   struct bpf_verifier_state *other_branch)  in try_match_pkt_pointers()
10118 static void find_equal_scalars(struct bpf_verifier_state *vstate,  in find_equal_scalars()
10133 	struct bpf_verifier_state *this_branch = env->cur_state;  in check_cond_jmp_op()
10134 	struct bpf_verifier_state *other_branch;  in check_cond_jmp_op()
10730 	struct bpf_verifier_state *cur = env->cur_state;  in explored_state()
11430 				 struct bpf_verifier_state *st)  in clean_verifier_state()
11475 			      struct bpf_verifier_state *cur)  in clean_live_states()
11733 			 struct bpf_verifier_state *old,  in states_equal()
11734 			 struct bpf_verifier_state *cur)  in states_equal()
11799 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()
11800 			      struct bpf_verifier_state *vparent)  in propagate_liveness()
11846 			       const struct bpf_verifier_state *old)  in propagate_precision()
11882 static bool states_maybe_looping(struct bpf_verifier_state *old,  in states_maybe_looping()
11883 				 struct bpf_verifier_state *cur)  in states_maybe_looping()
11905 	struct bpf_verifier_state *cur = env->cur_state, *new;  in is_state_visited()
12160 	struct bpf_verifier_state *state = env->cur_state;  in do_check()
14596 	struct bpf_verifier_state *state;  in do_check_common()
14603 	state = kzalloc(sizeof(struct bpf_verifier_state), GFP_KERNEL);  in do_check_common()