551 static struct bpf_func_state *func(struct bpf_verifier_env *env,  in func()
566 				 const struct bpf_func_state *state)  in print_verifier_state()
691 static int copy_##NAME##_state(struct bpf_func_state *dst,		\
692 			       const struct bpf_func_state *src)	\
712 static int realloc_##NAME##_state(struct bpf_func_state *state, int size, \  in COPY_STATE_FN()
758 static int realloc_func_state(struct bpf_func_state *state, int stack_size,
774 	struct bpf_func_state *state = cur_func(env);  in acquire_reference_state()
789 static int release_reference_state(struct bpf_func_state *state, int ptr_id)  in release_reference_state()
807 static int transfer_reference_state(struct bpf_func_state *dst,  in transfer_reference_state()
808 				    struct bpf_func_state *src)  in transfer_reference_state()
819 static void free_func_state(struct bpf_func_state *state)  in free_func_state()
852 static int copy_func_state(struct bpf_func_state *dst,  in copy_func_state()
853 			   const struct bpf_func_state *src)  in copy_func_state()
861 	memcpy(dst, src, offsetof(struct bpf_func_state, acquired_refs));  in copy_func_state()
871 	struct bpf_func_state *dst;  in copy_verifier_state()
1397 			   struct bpf_func_state *state)  in init_reg_state()
1417 			    struct bpf_func_state *state,  in init_func_state()
1721 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
1992 	struct bpf_func_state *func;  in mark_all_scalars_precise()
2025 	struct bpf_func_state *func;  in __mark_chain_precision()
2257 static void save_register_state(struct bpf_func_state *state,  in save_register_state()
2273 			     struct bpf_func_state *state, /* func where register points to */  in check_stack_write()
2276 	struct bpf_func_state *cur; /* state of the current function */  in check_stack_write()
2401 			    struct bpf_func_state *reg_state /* func where register points to */,  in check_stack_read()
2405 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read()
2586 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_mem_region_access()
2644 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
3001 			      const struct bpf_func_state *func,  in update_stack_depth()
3407 	struct bpf_func_state *state;  in check_mem_access()
3677 	struct bpf_func_state *state = func(env, reg);  in check_stack_boundary()
4662 				     struct bpf_func_state *state)  in __clear_all_pkt_pointers()
4689 				   struct bpf_func_state *state,  in release_reg_references()
4744 	struct bpf_func_state *caller, *callee;  in check_func_call()
4841 	struct bpf_func_state *caller, *callee;  in prepare_func_exit()
4987 	struct bpf_func_state *state = cur_func(env);  in check_reference_leak()
5456 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
6447 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
6696 static void __find_good_pkt_pointers(struct bpf_func_state *state,  in __find_good_pkt_pointers()
7209 static void mark_ptr_or_null_reg(struct bpf_func_state *state,  in mark_ptr_or_null_reg()
7275 static void __mark_ptr_or_null_regs(struct bpf_func_state *state, u32 id,  in __mark_ptr_or_null_regs()
7297 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_ptr_or_null_regs()
7414 	struct bpf_func_state *state;  in find_equal_scalars()
7953 	struct bpf_func_state *state = cur->frame[cur->curframe];  in explored_state()
8506 			     struct bpf_func_state *st)  in clean_func_state()
8718 static bool stacksafe(struct bpf_func_state *old,  in stacksafe()
8719 		      struct bpf_func_state *cur,  in stacksafe()
8783 static bool refsafe(struct bpf_func_state *old, struct bpf_func_state *cur)  in refsafe()
8817 static bool func_states_equal(struct bpf_func_state *old,  in func_states_equal()
8818 			      struct bpf_func_state *cur)  in func_states_equal()
8916 	struct bpf_func_state *state, *parent;  in propagate_liveness()
8962 	struct bpf_func_state *state;  in propagate_precision()
8998 	struct bpf_func_state *fold, *fcur;  in states_maybe_looping()
9208 		struct bpf_func_state *frame = cur->frame[j];  in is_state_visited()
9209 		struct bpf_func_state *newframe = new->frame[j];  in is_state_visited()
11270 	state->frame[0] = kzalloc(sizeof(struct bpf_func_state), GFP_KERNEL);  in do_check_common()