170 	struct bpf_verifier_state st;
554 	struct bpf_verifier_state *cur = env->cur_state;  in func()
828 static void clear_jmp_history(struct bpf_verifier_state *state)  in clear_jmp_history()
835 static void free_verifier_state(struct bpf_verifier_state *state,  in free_verifier_state()
868 static int copy_verifier_state(struct bpf_verifier_state *dst_state,  in copy_verifier_state()
869 			       const struct bpf_verifier_state *src)  in copy_verifier_state()
911 static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in update_branch_counts()
931 	struct bpf_verifier_state *cur = env->cur_state;  in pop_stack()
957 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,  in push_stack()
961 	struct bpf_verifier_state *cur = env->cur_state;  in push_stack()
1720 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()
1764 			    struct bpf_verifier_state *cur)  in push_jmp_history()
1783 static int get_prev_insn_idx(struct bpf_verifier_state *st, int i,  in get_prev_insn_idx()
1990 				     struct bpf_verifier_state *st)  in mark_all_scalars_precise()
2022 	struct bpf_verifier_state *st = env->cur_state;  in __mark_chain_precision()
2404 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read()
2585 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()
2643 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()
3863 	struct bpf_verifier_state *cur = env->cur_state;  in process_spin_lock()
4681 	struct bpf_verifier_state *vstate = env->cur_state;  in clear_all_pkt_pointers()
4713 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()
4742 	struct bpf_verifier_state *state = env->cur_state;  in check_func_call()
4840 	struct bpf_verifier_state *state = env->cur_state;  in prepare_func_exit()
5399 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()
5455 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()
6446 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()
6718 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()
7294 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()
7317 				   struct bpf_verifier_state *this_branch,  in try_match_pkt_pointers()
7318 				   struct bpf_verifier_state *other_branch)  in try_match_pkt_pointers()
7411 static void find_equal_scalars(struct bpf_verifier_state *vstate,  in find_equal_scalars()
7438 	struct bpf_verifier_state *this_branch = env->cur_state;  in check_cond_jmp_op()
7439 	struct bpf_verifier_state *other_branch;  in check_cond_jmp_op()
7952 	struct bpf_verifier_state *cur = env->cur_state;  in explored_state()
8535 				 struct bpf_verifier_state *st)  in clean_verifier_state()
8580 			      struct bpf_verifier_state *cur)  in clean_live_states()
8846 			 struct bpf_verifier_state *old,  in states_equal()
8847 			 struct bpf_verifier_state *cur)  in states_equal()
8912 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()
8913 			      struct bpf_verifier_state *vparent)  in propagate_liveness()
8959 			       const struct bpf_verifier_state *old)  in propagate_precision()
8995 static bool states_maybe_looping(struct bpf_verifier_state *old,  in states_maybe_looping()
8996 				 struct bpf_verifier_state *cur)  in states_maybe_looping()
9018 	struct bpf_verifier_state *cur = env->cur_state, *new;  in is_state_visited()
9261 	struct bpf_verifier_state *state = env->cur_state;  in do_check()
11257 	struct bpf_verifier_state *state;  in do_check_common()
11264 	state = kzalloc(sizeof(struct bpf_verifier_state), GFP_KERNEL);  in do_check_common()