181 	struct bpf_verifier_state st;
200 static int release_reference_nomark(struct bpf_verifier_state *state, int ref_obj_id);
598 	struct bpf_verifier_state *cur = env->cur_state;  in func()
1155 static int release_irq_state(struct bpf_verifier_state *state, int id);
1420 static int copy_reference_state(struct bpf_verifier_state *dst, const struct bpf_verifier_state *sr…  in copy_reference_state()
1450 static int resize_reference_state(struct bpf_verifier_state *state, size_t n)  in resize_reference_state()
1495 	struct bpf_verifier_state *state = env->cur_state;  in acquire_reference_state()
1522 	struct bpf_verifier_state *state = env->cur_state;  in acquire_lock_state()
1540 	struct bpf_verifier_state *state = env->cur_state;  in acquire_irq_state()
1553 static void release_reference_state(struct bpf_verifier_state *state, int idx)  in release_reference_state()
1572 static bool find_reference_state(struct bpf_verifier_state *state, int ptr_id)  in find_reference_state()
1583 static int release_lock_state(struct bpf_verifier_state *state, int type, int id, void *ptr)  in release_lock_state()
1607 static int release_irq_state(struct bpf_verifier_state *state, int id)  in release_irq_state()
1629 static struct bpf_reference_state *find_lock_state(struct bpf_verifier_state *state, enum ref_state…  in find_lock_state()
1662 static void free_verifier_state(struct bpf_verifier_state *state,  in free_verifier_state()
1680 static struct bpf_verifier_state_list *state_parent_as_list(struct bpf_verifier_state *st)  in state_parent_as_list()
1687 static struct bpf_verifier_state_list *state_loop_entry_as_list(struct bpf_verifier_state *st)  in state_loop_entry_as_list()
1730 static int copy_verifier_state(struct bpf_verifier_state *dst_state,  in copy_verifier_state()
1731 			       const struct bpf_verifier_state *src)  in copy_verifier_state()
1782 	struct bpf_verifier_state *cur = env->cur_state;  in explored_state()
1788 static bool same_callsites(struct bpf_verifier_state *a, struct bpf_verifier_state *b)  in same_callsites()
1920 static struct bpf_verifier_state *get_loop_entry(struct bpf_verifier_env *env,  in get_loop_entry()
1921 						 struct bpf_verifier_state *st)  in get_loop_entry()
1923 	struct bpf_verifier_state *topmost = st->loop_entry;  in get_loop_entry()
1935 			      struct bpf_verifier_state *cur, struct bpf_verifier_state *hdr)  in update_loop_entry()
1953 static void update_branch_counts(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in update_branch_counts()
1956 	struct bpf_verifier_state *parent;  in update_branch_counts()
1989 	struct bpf_verifier_state *cur = env->cur_state;  in pop_stack()
2015 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,  in push_stack()
2019 	struct bpf_verifier_state *cur = env->cur_state;  in push_stack()
2783 static struct bpf_verifier_state *push_async_cb(struct bpf_verifier_env *env,  in push_async_cb()
3736 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()
3846 static int push_insn_history(struct bpf_verifier_env *env, struct bpf_verifier_state *cur,  in push_insn_history()
3912 			     struct bpf_verifier_state *st,  in get_prev_insn_idx()
4496 				     struct bpf_verifier_state *st)  in mark_all_scalars_precise()
4542 static void mark_all_scalars_imprecise(struct bpf_verifier_env *env, struct bpf_verifier_state *st)  in mark_all_scalars_imprecise()
4657 	struct bpf_verifier_state *st = env->cur_state;  in __mark_chain_precision()
5258 	struct bpf_verifier_state *vstate = env->cur_state;  in mark_reg_stack_read()
5299 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read_fixed_off()
5627 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()
5957 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()
8264 	struct bpf_verifier_state *cur = env->cur_state;  in process_spin_lock()
8711 static struct bpf_verifier_state *find_prev_entry(struct bpf_verifier_env *env,  in find_prev_entry()
8712 						  struct bpf_verifier_state *cur,  in find_prev_entry()
8716 	struct bpf_verifier_state *st;  in find_prev_entry()
8754 				   struct bpf_verifier_state *old,  in widen_imprecise_scalars()
8755 				   struct bpf_verifier_state *cur)  in widen_imprecise_scalars()
8785 static struct bpf_reg_state *get_iter_from_state(struct bpf_verifier_state *cur_st,  in get_iter_from_state()
8875 	struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;  in process_iter_next_call()
10170 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()
10191 static int release_reference_nomark(struct bpf_verifier_state *state, int ref_obj_id)  in release_reference_nomark()
10213 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()
10264 			    struct bpf_verifier_state *state)  in setup_func_entry()
10437 	struct bpf_verifier_state *state = env->cur_state, *callback_state;  in push_callback_call()
10464 		struct bpf_verifier_state *async_cb;  in push_callback_call()
10505 	struct bpf_verifier_state *state = env->cur_state;  in check_func_call()
10791 	struct bpf_verifier_state *state = env->cur_state;  in in_rbtree_lock_required_cb()
10819 	struct bpf_verifier_state *state = env->cur_state, *prev_st;  in prepare_func_exit()
11031 	struct bpf_verifier_state *state = env->cur_state;  in check_reference_leak()
12452 	struct bpf_verifier_state *state = env->cur_state;  in ref_convert_owning_non_owning()
13625 		struct bpf_verifier_state *branch;  in check_kfunc_call()
14057 static struct bpf_verifier_state *
14062 	struct bpf_verifier_state *branch;  in sanitize_speculative_path()
14087 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()
14176 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()
14302 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()
15196 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()
15567 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()
16168 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()
16191 				   struct bpf_verifier_state *this_branch,  in try_match_pkt_pointers()
16192 				   struct bpf_verifier_state *other_branch)  in try_match_pkt_pointers()
16315 static void collect_linked_regs(struct bpf_verifier_state *vstate, u32 id,  in collect_linked_regs()
16341 static void sync_linked_regs(struct bpf_verifier_state *vstate, struct bpf_reg_state *known_reg,  in sync_linked_regs()
16389 	struct bpf_verifier_state *this_branch = env->cur_state;  in check_cond_jmp_op()
16390 	struct bpf_verifier_state *other_branch;  in check_cond_jmp_op()
16408 		struct bpf_verifier_state *cur_st = env->cur_state, *queued_st, *prev_st;  in check_cond_jmp_op()
18257 				 struct bpf_verifier_state *st)  in clean_verifier_state()
18302 			      struct bpf_verifier_state *cur)  in clean_live_states()
18304 	struct bpf_verifier_state *loop_entry;  in clean_live_states()
18636 static bool refsafe(struct bpf_verifier_state *old, struct bpf_verifier_state *cur,  in refsafe()
18737 			 struct bpf_verifier_state *old,  in states_equal()
18738 			 struct bpf_verifier_state *cur,  in states_equal()
18813 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()
18814 			      struct bpf_verifier_state *vparent)  in propagate_liveness()
18860 			       const struct bpf_verifier_state *old)  in propagate_precision()
18915 static bool states_maybe_looping(struct bpf_verifier_state *old,  in states_maybe_looping()
18916 				 struct bpf_verifier_state *cur)  in states_maybe_looping()
18996 static bool iter_active_depths_differ(struct bpf_verifier_state *old, struct bpf_verifier_state *cu…  in iter_active_depths_differ()
19024 	struct bpf_verifier_state *cur = env->cur_state, *new, *loop_entry;  in is_state_visited()
19426 	struct bpf_verifier_state *state = env->cur_state;  in do_check()
22693 	struct bpf_verifier_state *state;  in do_check_common()
22700 	state = kzalloc(sizeof(struct bpf_verifier_state), GFP_KERNEL);  in do_check_common()