165 	struct bpf_verifier_state st;
428 	struct bpf_verifier_state *cur = env->cur_state;  in func()
676 static void clear_jmp_history(struct bpf_verifier_state *state)  in clear_jmp_history()
683 static void free_verifier_state(struct bpf_verifier_state *state,  in free_verifier_state()
716 static int copy_verifier_state(struct bpf_verifier_state *dst_state,  in copy_verifier_state()
717 			       const struct bpf_verifier_state *src)  in copy_verifier_state()
759 static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in update_branch_counts()
779 	struct bpf_verifier_state *cur = env->cur_state;  in pop_stack()
803 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,  in push_stack()
807 	struct bpf_verifier_state *cur = env->cur_state;  in push_stack()
1361 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()
1405 			    struct bpf_verifier_state *cur)  in push_jmp_history()
1424 static int get_prev_insn_idx(struct bpf_verifier_state *st, int i,  in get_prev_insn_idx()
1631 				     struct bpf_verifier_state *st)  in mark_all_scalars_precise()
1663 	struct bpf_verifier_state *st = env->cur_state;  in __mark_chain_precision()
2016 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read()
2170 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()
3134 	struct bpf_verifier_state *cur = env->cur_state;  in process_spin_lock()
3704 	struct bpf_verifier_state *vstate = env->cur_state;  in clear_all_pkt_pointers()
3736 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()
3753 	struct bpf_verifier_state *state = env->cur_state;  in check_func_call()
3827 	struct bpf_verifier_state *state = env->cur_state;  in prepare_func_exit()
4274 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()
4330 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()
4847 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()
5103 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()
5672 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()
5695 				   struct bpf_verifier_state *this_branch,  in try_match_pkt_pointers()
5696 				   struct bpf_verifier_state *other_branch)  in try_match_pkt_pointers()
5792 	struct bpf_verifier_state *this_branch = env->cur_state;  in check_cond_jmp_op()
5793 	struct bpf_verifier_state *other_branch;  in check_cond_jmp_op()
6208 	struct bpf_verifier_state *cur = env->cur_state;  in explored_state()
6746 				 struct bpf_verifier_state *st)  in clean_verifier_state()
6791 			      struct bpf_verifier_state *cur)  in clean_live_states()
7057 			 struct bpf_verifier_state *old,  in states_equal()
7058 			 struct bpf_verifier_state *cur)  in states_equal()
7123 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()
7124 			      struct bpf_verifier_state *vparent)  in propagate_liveness()
7170 			       const struct bpf_verifier_state *old)  in propagate_precision()
7206 static bool states_maybe_looping(struct bpf_verifier_state *old,  in states_maybe_looping()
7207 				 struct bpf_verifier_state *cur)  in states_maybe_looping()
7229 	struct bpf_verifier_state *cur = env->cur_state, *new;  in is_state_visited()
7469 	struct bpf_verifier_state *state;  in do_check()
7478 	state = kzalloc(sizeof(struct bpf_verifier_state), GFP_KERNEL);  in do_check()