277 static struct bpf_func_state *func(struct bpf_verifier_env *env,  in func()
286 				 const struct bpf_func_state *state)  in print_verifier_state()
365 static int copy_stack_state(struct bpf_func_state *dst,  in copy_stack_state()
366 			    const struct bpf_func_state *src)  in copy_stack_state()
387 static int realloc_func_state(struct bpf_func_state *state, int size,  in realloc_func_state()
421 static void free_func_state(struct bpf_func_state *state)  in free_func_state()
445 static int copy_func_state(struct bpf_func_state *dst,  in copy_func_state()
446 			   const struct bpf_func_state *src)  in copy_func_state()
453 	memcpy(dst, src, offsetof(struct bpf_func_state, allocated_stack));  in copy_func_state()
460 	struct bpf_func_state *dst;  in copy_verifier_state()
727 			   struct bpf_func_state *state)  in init_reg_state()
749 			    struct bpf_func_state *state,  in init_func_state()
958 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_reg_arg()
1013 			     struct bpf_func_state *state, /* func where register points to */  in check_stack_write()
1016 	struct bpf_func_state *cur; /* state of the current function */  in check_stack_write()
1165 			    struct bpf_func_state *reg_state /* func where register points to */,  in check_stack_read()
1169 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_stack_read()
1257 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in check_map_access()
1530 			      const struct bpf_func_state *func,  in update_stack_depth()
1680 	struct bpf_func_state *state;  in check_mem_access()
1850 	struct bpf_func_state *state = func(env, reg);  in check_stack_boundary()
2299 				     struct bpf_func_state *state)  in __clear_all_pkt_pointers()
2330 	struct bpf_func_state *caller, *callee;  in check_func_call()
2397 	struct bpf_func_state *caller, *callee;  in prepare_func_exit()
2696 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_ptr_min_max_vals()
3157 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in adjust_reg_min_max_vals()
3383 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in find_good_pkt_pointers()
3705 	struct bpf_func_state *state = vstate->frame[vstate->curframe];  in mark_map_regs()
4475 static bool stacksafe(struct bpf_func_state *old,  in stacksafe()
4476 		      struct bpf_func_state *cur,  in stacksafe()
4563 static bool func_states_equal(struct bpf_func_state *old,  in func_states_equal()
4564 			      struct bpf_func_state *cur)  in func_states_equal()
4621 	struct bpf_func_state *state, *parent;  in propagate_liveness()
4723 		struct bpf_func_state *frame = cur->frame[j];  in is_state_visited()
4746 	state->frame[0] = kzalloc(sizeof(struct bpf_func_state), GFP_KERNEL);  in do_check()