181 	struct bpf_verifier_state st;
200 static int release_reference_nomark(struct bpf_verifier_state *state, int ref_obj_id);
597 	struct bpf_verifier_state *cur = env->cur_state;  in func()
1154 static int release_irq_state(struct bpf_verifier_state *state, int id);
1419 static int copy_reference_state(struct bpf_verifier_state *dst, const struct bpf_verifier_state *sr…  in copy_reference_state()
1449 static int resize_reference_state(struct bpf_verifier_state *state, size_t n)  in resize_reference_state()
1494 	struct bpf_verifier_state *state = env->cur_state;  in acquire_reference_state()
1521 	struct bpf_verifier_state *state = env->cur_state;  in acquire_lock_state()
1539 	struct bpf_verifier_state *state = env->cur_state;  in acquire_irq_state()
1552 static void release_reference_state(struct bpf_verifier_state *state, int idx)  in release_reference_state()
1571 static bool find_reference_state(struct bpf_verifier_state *state, int ptr_id)  in find_reference_state()
1582 static int release_lock_state(struct bpf_verifier_state *state, int type, int id, void *ptr)  in release_lock_state()
1606 static int release_irq_state(struct bpf_verifier_state *state, int id)  in release_irq_state()
1628 static struct bpf_reference_state *find_lock_state(struct bpf_verifier_state *state, enum ref_state…  in find_lock_state()
1661 static void free_verifier_state(struct bpf_verifier_state *state,  in free_verifier_state()
1679 static struct bpf_verifier_state_list *state_parent_as_list(struct bpf_verifier_state *st)  in state_parent_as_list()
1686 static struct bpf_verifier_state_list *state_loop_entry_as_list(struct bpf_verifier_state *st)  in state_loop_entry_as_list()
1729 static int copy_verifier_state(struct bpf_verifier_state *dst_state,  in copy_verifier_state()
1730 			       const struct bpf_verifier_state *src)  in copy_verifier_state()
1781 	struct bpf_verifier_state *cur = env->cur_state;  in explored_state()
1787 static bool same_callsites(struct bpf_verifier_state *a, struct bpf_verifier_state *b)  in same_callsites()
1919 static struct bpf_verifier_state *get_loop_entry(struct bpf_verifier_env *env,  in get_loop_entry()
1920 						 struct bpf_verifier_state *st)  in get_loop_entry()
1922 	struct bpf_verifier_state *topmost = st->loop_entry;  in get_loop_entry()
1937 			      struct bpf_verifier_state *cur, struct bpf_verifier_state *hdr)  in update_loop_entry()
1955 static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in update_branch_counts()
1958 	struct bpf_verifier_state *parent;  in update_branch_counts()
1991 	struct bpf_verifier_state *cur = env->cur_state;  in pop_stack()
2017 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,  in push_stack()
2021 	struct bpf_verifier_state *cur = env->cur_state;  in push_stack()
2785 static struct bpf_verifier_state *push_async_cb(struct bpf_verifier_env *env,  in push_async_cb()
3739 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()
3849 static int push_insn_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur,  in push_insn_history()
3915 			     struct bpf_verifier_state *st,  in get_prev_insn_idx()
4497 				     struct bpf_verifier_state *st)  in mark_all_scalars_precise()
4543 static void mark_all_scalars_imprecise(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in mark_all_scalars_imprecise()
4658 	struct bpf_verifier_state *st = env->cur_state;  in __mark_chain_precision()
5263 	struct bpf_verifier_state *vstate = env->cur_state;  in mark_reg_stack_read()
5304 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read_fixed_off()
5632 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()
5962 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()
8276 	struct bpf_verifier_state *cur = env->cur_state;  in process_spin_lock()
8723 static struct bpf_verifier_state *find_prev_entry(struct bpf_verifier_env *env,  in find_prev_entry()
8724 						  struct bpf_verifier_state *cur,  in find_prev_entry()
8728 	struct bpf_verifier_state *st;  in find_prev_entry()
8766 				   struct bpf_verifier_state *old,  in widen_imprecise_scalars()
8767 				   struct bpf_verifier_state *cur)  in widen_imprecise_scalars()
8797 static struct bpf_reg_state *get_iter_from_state(struct bpf_verifier_state *cur_st,  in get_iter_from_state()
8887 	struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;  in process_iter_next_call()
10182 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()
10203 static int release_reference_nomark(struct bpf_verifier_state *state, int ref_obj_id)  in release_reference_nomark()
10225 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()
10276 			    struct bpf_verifier_state *state)  in setup_func_entry()
10451 	struct bpf_verifier_state *state = env->cur_state, *callback_state;  in push_callback_call()
10478 		struct bpf_verifier_state *async_cb;  in push_callback_call()
10519 	struct bpf_verifier_state *state = env->cur_state;  in check_func_call()
10806 	struct bpf_verifier_state *state = env->cur_state;  in in_rbtree_lock_required_cb()
10834 	struct bpf_verifier_state *state = env->cur_state, *prev_st;  in prepare_func_exit()
11046 	struct bpf_verifier_state *state = env->cur_state;  in check_reference_leak()
12473 	struct bpf_verifier_state *state = env->cur_state;  in ref_convert_owning_non_owning()
13457 		struct bpf_verifier_state *branch;  in check_kfunc_call()
14041 static struct bpf_verifier_state *
14046 	struct bpf_verifier_state *branch;  in sanitize_speculative_path()
14071 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()
14160 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()
14286 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()
15180 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()
15551 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()
16152 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()
16175 				   struct bpf_verifier_state *this_branch,  in try_match_pkt_pointers()
16176 				   struct bpf_verifier_state *other_branch)  in try_match_pkt_pointers()
16299 static void collect_linked_regs(struct bpf_verifier_state *vstate, u32 id,  in collect_linked_regs()
16325 static void sync_linked_regs(struct bpf_verifier_state *vstate, struct bpf_reg_state *known_reg,  in sync_linked_regs()
16373 	struct bpf_verifier_state *this_branch = env->cur_state;  in check_cond_jmp_op()
16374 	struct bpf_verifier_state *other_branch;  in check_cond_jmp_op()
16391 		struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;  in check_cond_jmp_op()
18226 				 struct bpf_verifier_state *st)  in clean_verifier_state()
18271 			      struct bpf_verifier_state *cur)  in clean_live_states()
18273 	struct bpf_verifier_state *loop_entry;  in clean_live_states()
18605 static bool refsafe(struct bpf_verifier_state *old, struct bpf_verifier_state *cur,  in refsafe()
18706 			 struct bpf_verifier_state *old,  in states_equal()
18707 			 struct bpf_verifier_state *cur,  in states_equal()
18782 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()
18783 			      struct bpf_verifier_state *vparent)  in propagate_liveness()
18829 			       const struct bpf_verifier_state *old)  in propagate_precision()
18884 static bool states_maybe_looping(struct bpf_verifier_state *old,  in states_maybe_looping()
18885 				 struct bpf_verifier_state *cur)  in states_maybe_looping()
18965 static bool iter_active_depths_differ(struct bpf_verifier_state *old, struct bpf_verifier_state *cu…  in iter_active_depths_differ()
18993 	struct bpf_verifier_state *cur = env->cur_state, *new, *loop_entry;  in is_state_visited()
19395 	struct bpf_verifier_state *state = env->cur_state;  in do_check()
22662 	struct bpf_verifier_state *state;  in do_check_common()
22669 	state = kzalloc(sizeof(struct bpf_verifier_state), GFP_KERNEL);  in do_check_common()