170 	struct bpf_verifier_state st;
605 	struct bpf_verifier_state *cur = env->cur_state;  in func()
894 static void clear_jmp_history(struct bpf_verifier_state *state)  in clear_jmp_history()
901 static void free_verifier_state(struct bpf_verifier_state *state,  in free_verifier_state()
930 static int copy_verifier_state(struct bpf_verifier_state *dst_state,  in copy_verifier_state()
931 			       const struct bpf_verifier_state *src)  in copy_verifier_state()
970 static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in update_branch_counts()
990 	struct bpf_verifier_state *cur = env->cur_state;  in pop_stack()
1016 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,  in push_stack()
1020 	struct bpf_verifier_state *cur = env->cur_state;  in push_stack()
1535 static struct bpf_verifier_state *push_async_cb(struct bpf_verifier_env *env,  in push_async_cb()
2075 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()
2119 			    struct bpf_verifier_state *cur)  in push_jmp_history()
2138 static int get_prev_insn_idx(struct bpf_verifier_state *st, int i,  in get_prev_insn_idx()
2357 				     struct bpf_verifier_state *st)  in mark_all_scalars_precise()
2389 	struct bpf_verifier_state *st = env->cur_state;  in __mark_chain_precision()
2866 	struct bpf_verifier_state *vstate = env->cur_state;  in mark_reg_stack_read()
2917 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read_fixed_off()
3194 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()
3252 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()
4656 	struct bpf_verifier_state *cur = env->cur_state;  in process_spin_lock()
5613 	struct bpf_verifier_state *vstate = env->cur_state;  in clear_all_pkt_pointers()
5625 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()
5671 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()
5706 	struct bpf_verifier_state *state = env->cur_state;  in __check_func_call()
5754 		struct bpf_verifier_state *async_cb;  in __check_func_call()
5935 	struct bpf_verifier_state *state = env->cur_state;  in prepare_func_exit()
6713 static struct bpf_verifier_state *
6718 	struct bpf_verifier_state *branch;  in sanitize_speculative_path()
6743 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()
6832 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()
6958 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()
7922 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()
8194 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()
8790 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()
8813 				   struct bpf_verifier_state *this_branch,  in try_match_pkt_pointers()
8814 				   struct bpf_verifier_state *other_branch)  in try_match_pkt_pointers()
8915 static void find_equal_scalars(struct bpf_verifier_state *vstate,  in find_equal_scalars()
8942 	struct bpf_verifier_state *this_branch = env->cur_state;  in check_cond_jmp_op()
8943 	struct bpf_verifier_state *other_branch;  in check_cond_jmp_op()
9506 	struct bpf_verifier_state *cur = env->cur_state;  in explored_state()
10131 				 struct bpf_verifier_state *st)  in clean_verifier_state()
10176 			      struct bpf_verifier_state *cur)  in clean_live_states()
10435 			 struct bpf_verifier_state *old,  in states_equal()
10436 			 struct bpf_verifier_state *cur)  in states_equal()
10501 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()
10502 			      struct bpf_verifier_state *vparent)  in propagate_liveness()
10548 			       const struct bpf_verifier_state *old)  in propagate_precision()
10584 static bool states_maybe_looping(struct bpf_verifier_state *old,  in states_maybe_looping()
10585 				 struct bpf_verifier_state *cur)  in states_maybe_looping()
10607 	struct bpf_verifier_state *cur = env->cur_state, *new;  in is_state_visited()
10866 	struct bpf_verifier_state *state = env->cur_state;  in do_check()
13094 	struct bpf_verifier_state *state;  in do_check_common()
13101 	state = kzalloc(sizeof(struct bpf_verifier_state), GFP_KERNEL);  in do_check_common()