618 static bool is_spi_bounds_valid(struct bpf_func_state *state, int spi, int nr_slots)  in is_spi_bounds_valid()
632 static struct bpf_func_state *func(struct bpf_verifier_env *env,  in func()
703 	struct bpf_func_state *state = func(env, reg);  in mark_stack_slots_dynptr()
740 	struct bpf_func_state *state = func(env, reg);  in unmark_stack_slots_dynptr()
769 	struct bpf_func_state *state = func(env, reg);  in is_dynptr_reg_valid_uninit()
788 	struct bpf_func_state *state = func(env, reg);  in is_dynptr_reg_valid_init()
809 	struct bpf_func_state *state = func(env, reg);  in is_dynptr_type_expected()
837 				 const struct bpf_func_state *state,  in print_verifier_state()
982 			     const struct bpf_func_state *state)  in print_insn_state()
1049 static int copy_reference_state(struct bpf_func_state *dst, const struct bpf_func_state *src)  in copy_reference_state()
1060 static int copy_stack_state(struct bpf_func_state *dst, const struct bpf_func_state *src)  in copy_stack_state()
1073 static int resize_reference_state(struct bpf_func_state *state, size_t n)  in resize_reference_state()
1084 static int grow_stack_state(struct bpf_func_state *state, int size)  in grow_stack_state()
1106 	struct bpf_func_state *state = cur_func(env);  in acquire_reference_state()
1122 static int release_reference_state(struct bpf_func_state *state, int ptr_id)  in release_reference_state()
1143 static void free_func_state(struct bpf_func_state *state)  in free_func_state()
1176 static int copy_func_state(struct bpf_func_state *dst,  in copy_func_state()
1177 			   const struct bpf_func_state *src)  in copy_func_state()
1181 	memcpy(dst, src, offsetof(struct bpf_func_state, acquired_refs));  in copy_func_state()
1191 	struct bpf_func_state *dst;  in copy_verifier_state()
1747 			   struct bpf_func_state *state)  in init_reg_state()
1767 			    struct bpf_func_state *state,  in init_func_state()
1784 	struct bpf_func_state *frame;  in push_async_cb()
2458 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
2744 	struct bpf_func_state *func;  in mark_all_scalars_precise()
2777 	struct bpf_func_state *func;  in __mark_chain_precision()
3003 static void save_register_state(struct bpf_func_state *state,  in save_register_state()
3026 				       struct bpf_func_state *state,  in check_stack_write_fixed_off()
3030 	struct bpf_func_state *cur; /* state of the current function */  in check_stack_write_fixed_off()
3151 				     struct bpf_func_state *state,  in check_stack_write_var_off()
3155 	struct bpf_func_state *cur; /* state of the current function */  in check_stack_write_var_off()
3246 				struct bpf_func_state *ptr_state,  in mark_reg_stack_read()
3250 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_reg_stack_read()
3297 				      struct bpf_func_state *reg_state,  in check_stack_read_fixed_off()
3301 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read_fixed_off()
3423 	struct bpf_func_state *ptr_state = func(env, reg);  in check_stack_read_var_off()
3454 	struct bpf_func_state *state = func(env, reg);  in check_stack_read()
3515 	struct bpf_func_state *state = func(env, reg);  in check_stack_write()
3597 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_mem_region_access()
3818 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
4211 			      const struct bpf_func_state *func,  in update_stack_depth()
4635 					  struct bpf_func_state *state,  in check_stack_slot_within_bounds()
4662 	struct bpf_func_state *state = func(env, reg);  in check_stack_access_within_bounds()
4726 	struct bpf_func_state *state;  in check_mem_access()
5079 	struct bpf_func_state *state = func(env, reg);  in check_stack_range_initialized()
5891 	struct bpf_func_state *state = func(env, reg);  in stack_slot_get_id()
5957 			struct bpf_func_state *state = func(env, reg);  in check_func_arg()
6576 	struct bpf_func_state *state;  in clear_all_pkt_pointers()
6592 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_pkt_end()
6617 	struct bpf_func_state *state;  in release_reference()
6650 				   struct bpf_func_state *caller,
6651 				   struct bpf_func_state *callee,
6660 	struct bpf_func_state *caller, *callee;  in __check_func_call()
6777 				   struct bpf_func_state *caller,  in map_set_for_each_callback_args()
6778 				   struct bpf_func_state *callee)  in map_set_for_each_callback_args()
6804 			    struct bpf_func_state *caller,  in set_callee_state()
6805 			    struct bpf_func_state *callee, int insn_idx)  in set_callee_state()
6834 				       struct bpf_func_state *caller,  in set_map_elem_callback_state()
6835 				       struct bpf_func_state *callee,  in set_map_elem_callback_state()
6864 				   struct bpf_func_state *caller,  in set_loop_callback_state()
6865 				   struct bpf_func_state *callee,  in set_loop_callback_state()
6886 				    struct bpf_func_state *caller,  in set_timer_callback_state()
6887 				    struct bpf_func_state *callee,  in set_timer_callback_state()
6916 				       struct bpf_func_state *caller,  in set_find_vma_callback_state()
6917 				       struct bpf_func_state *callee,  in set_find_vma_callback_state()
6944 					   struct bpf_func_state *caller,  in set_user_ringbuf_callback_state()
6945 					   struct bpf_func_state *callee,  in set_user_ringbuf_callback_state()
6970 	struct bpf_func_state *caller, *callee;  in prepare_func_exit()
7136 	struct bpf_func_state *state = cur_func(env);  in check_reference_leak()
8209 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
9165 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
9420 	struct bpf_func_state *state;  in find_good_pkt_pointers()
9948 static void mark_ptr_or_null_reg(struct bpf_func_state *state,  in mark_ptr_or_null_reg()
9996 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
10121 	struct bpf_func_state *state;  in find_equal_scalars()
10527 	struct bpf_func_state *frame = env->cur_state->frame[0];  in check_return_code()
10731 	struct bpf_func_state *state = cur->frame[cur->curframe];  in explored_state()
11401 			     struct bpf_func_state *st)  in clean_func_state()
11615 static bool stacksafe(struct bpf_verifier_env *env, struct bpf_func_state *old,  in stacksafe()
11616 		      struct bpf_func_state *cur, struct bpf_id_pair *idmap)  in stacksafe()
11678 static bool refsafe(struct bpf_func_state *old, struct bpf_func_state *cur)  in refsafe()
11712 static bool func_states_equal(struct bpf_verifier_env *env, struct bpf_func_state *old,  in func_states_equal()
11713 			      struct bpf_func_state *cur)  in func_states_equal()
11803 	struct bpf_func_state *state, *parent;  in propagate_liveness()
11849 	struct bpf_func_state *state;  in propagate_precision()
11885 	struct bpf_func_state *fold, *fcur;  in states_maybe_looping()
11939 			struct bpf_func_state *frame = sl->state.frame[sl->state.curframe];  in is_state_visited()
12111 		struct bpf_func_state *frame = cur->frame[j];  in is_state_visited()
12112 		struct bpf_func_state *newframe = new->frame[j];  in is_state_visited()
14609 	state->frame[0] = kzalloc(sizeof(struct bpf_func_state), GFP_KERNEL);  in do_check_common()