425 static struct bpf_func_state *func(struct bpf_verifier_env *env,  in func()
434 				 const struct bpf_func_state *state)  in print_verifier_state()
539 static int copy_##NAME##_state(struct bpf_func_state *dst,		\
540 			       const struct bpf_func_state *src)	\
560 static int realloc_##NAME##_state(struct bpf_func_state *state, int size, \  in COPY_STATE_FN()
606 static int realloc_func_state(struct bpf_func_state *state, int stack_size,
622 	struct bpf_func_state *state = cur_func(env);  in acquire_reference_state()
637 static int release_reference_state(struct bpf_func_state *state, int ptr_id)  in release_reference_state()
655 static int transfer_reference_state(struct bpf_func_state *dst,  in transfer_reference_state()
656 				    struct bpf_func_state *src)  in transfer_reference_state()
667 static void free_func_state(struct bpf_func_state *state)  in free_func_state()
700 static int copy_func_state(struct bpf_func_state *dst,  in copy_func_state()
701 			   const struct bpf_func_state *src)  in copy_func_state()
709 	memcpy(dst, src, offsetof(struct bpf_func_state, acquired_refs));  in copy_func_state()
719 	struct bpf_func_state *dst;  in copy_verifier_state()
1042 			   struct bpf_func_state *state)  in init_reg_state()
1066 			    struct bpf_func_state *state,  in init_func_state()
1362 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
1633 	struct bpf_func_state *func;  in mark_all_scalars_precise()
1666 	struct bpf_func_state *func;  in __mark_chain_precision()
1869 static void save_register_state(struct bpf_func_state *state,  in save_register_state()
1885 			     struct bpf_func_state *state, /* func where register points to */  in check_stack_write()
1888 	struct bpf_func_state *cur; /* state of the current function */  in check_stack_write()
2013 			    struct bpf_func_state *reg_state /* func where register points to */,  in check_stack_read()
2017 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read()
2171 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
2577 			      const struct bpf_func_state *func,  in update_stack_depth()
2754 	struct bpf_func_state *state;  in check_mem_access()
2967 	struct bpf_func_state *state = func(env, reg);  in check_stack_boundary()
3685 				     struct bpf_func_state *state)  in __clear_all_pkt_pointers()
3712 				   struct bpf_func_state *state,  in release_reg_references()
3754 	struct bpf_func_state *caller, *callee;  in check_func_call()
3828 	struct bpf_func_state *caller, *callee;  in prepare_func_exit()
3930 	struct bpf_func_state *state = cur_func(env);  in check_reference_leak()
4331 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
4848 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
5081 static void __find_good_pkt_pointers(struct bpf_func_state *state,  in __find_good_pkt_pointers()
5600 static void mark_ptr_or_null_reg(struct bpf_func_state *state,  in mark_ptr_or_null_reg()
5653 static void __mark_ptr_or_null_regs(struct bpf_func_state *state, u32 id,  in __mark_ptr_or_null_regs()
5675 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
6209 	struct bpf_func_state *state = cur->frame[cur->curframe];  in explored_state()
6717 			     struct bpf_func_state *st)  in clean_func_state()
6929 static bool stacksafe(struct bpf_func_state *old,  in stacksafe()
6930 		      struct bpf_func_state *cur,  in stacksafe()
6994 static bool refsafe(struct bpf_func_state *old, struct bpf_func_state *cur)  in refsafe()
7028 static bool func_states_equal(struct bpf_func_state *old,  in func_states_equal()
7029 			      struct bpf_func_state *cur)  in func_states_equal()
7127 	struct bpf_func_state *state, *parent;  in propagate_liveness()
7173 	struct bpf_func_state *state;  in propagate_precision()
7209 	struct bpf_func_state *fold, *fcur;  in states_maybe_looping()
7419 		struct bpf_func_state *frame = cur->frame[j];  in is_state_visited()
7420 		struct bpf_func_state *newframe = new->frame[j];  in is_state_visited()
7484 	state->frame[0] = kzalloc(sizeof(struct bpf_func_state), GFP_KERNEL);  in do_check()