175 	struct bpf_verifier_state st;
676 	struct bpf_verifier_state *cur = env->cur_state;  in func()
1702 static void clear_jmp_history(struct bpf_verifier_state *state)  in clear_jmp_history()
1709 static void free_verifier_state(struct bpf_verifier_state *state,  in free_verifier_state()
1738 static int copy_verifier_state(struct bpf_verifier_state *dst_state,  in copy_verifier_state()
1739 			       const struct bpf_verifier_state *src)  in copy_verifier_state()
1780 static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in update_branch_counts()
1800 	struct bpf_verifier_state *cur = env->cur_state;  in pop_stack()
1826 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,  in push_stack()
1830 	struct bpf_verifier_state *cur = env->cur_state;  in push_stack()
2363 static struct bpf_verifier_state *push_async_cb(struct bpf_verifier_env *env,  in push_async_cb()
3124 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()
3180 			    struct bpf_verifier_state *cur)  in push_jmp_history()
3204 static int get_prev_insn_idx(struct bpf_verifier_state *st, int i,  in get_prev_insn_idx()
3719 				     struct bpf_verifier_state *st)  in mark_all_scalars_precise()
3765 static void mark_all_scalars_imprecise(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in mark_all_scalars_imprecise()
3817 static int mark_precise_scalar_ids(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in mark_precise_scalar_ids()
3970 	struct bpf_verifier_state *st = env->cur_state;  in __mark_chain_precision()
4547 	struct bpf_verifier_state *vstate = env->cur_state;  in mark_reg_stack_read()
4599 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read_fixed_off()
4897 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()
5155 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()
7180 	struct bpf_verifier_state *cur = env->cur_state;  in process_spin_lock()
7585 	struct bpf_verifier_state *cur_st = env->cur_state, *queued_st;  in process_iter_next_call()
8778 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()
8857 	struct bpf_verifier_state *state = env->cur_state;  in __check_func_call()
8919 		struct bpf_verifier_state *async_cb;  in __check_func_call()
9218 	struct bpf_verifier_state *state = env->cur_state;  in in_rbtree_lock_required_cb()
9237 	struct bpf_verifier_state *state = env->cur_state;  in prepare_func_exit()
10476 	struct bpf_verifier_state *state = env->cur_state;  in ref_set_non_owning()
11786 static struct bpf_verifier_state *
11791 	struct bpf_verifier_state *branch;  in sanitize_speculative_path()
11816 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()
11905 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()
12031 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()
12987 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()
13304 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()
13895 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()
13918 				   struct bpf_verifier_state *this_branch,  in try_match_pkt_pointers()
13919 				   struct bpf_verifier_state *other_branch)  in try_match_pkt_pointers()
14020 static void find_equal_scalars(struct bpf_verifier_state *vstate,  in find_equal_scalars()
14035 	struct bpf_verifier_state *this_branch = env->cur_state;  in check_cond_jmp_op()
14036 	struct bpf_verifier_state *other_branch;  in check_cond_jmp_op()
14691 	struct bpf_verifier_state *cur = env->cur_state;  in explored_state()
15449 				 struct bpf_verifier_state *st)  in clean_verifier_state()
15494 			      struct bpf_verifier_state *cur)  in clean_live_states()
15808 			 struct bpf_verifier_state *old,  in states_equal()
15809 			 struct bpf_verifier_state *cur)  in states_equal()
15890 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()
15891 			      struct bpf_verifier_state *vparent)  in propagate_liveness()
15937 			       const struct bpf_verifier_state *old)  in propagate_precision()
15992 static bool states_maybe_looping(struct bpf_verifier_state *old,  in states_maybe_looping()
15993 				 struct bpf_verifier_state *cur)  in states_maybe_looping()
16073 static bool iter_active_depths_differ(struct bpf_verifier_state *old, struct bpf_verifier_state *cu…  in iter_active_depths_differ()
16101 	struct bpf_verifier_state *cur = env->cur_state, *new;  in is_state_visited()
16433 	struct bpf_verifier_state *state = env->cur_state;  in do_check()
19021 	struct bpf_verifier_state *state;  in do_check_common()
19028 	state = kzalloc(sizeof(struct bpf_verifier_state), GFP_KERNEL);  in do_check_common()