151 	struct bpf_verifier_state st;
280 	struct bpf_verifier_state *cur = env->cur_state;  in func()
429 static void free_verifier_state(struct bpf_verifier_state *state,  in free_verifier_state()
457 static int copy_verifier_state(struct bpf_verifier_state *dst_state,  in copy_verifier_state()
458 			       const struct bpf_verifier_state *src)  in copy_verifier_state()
488 	struct bpf_verifier_state *cur = env->cur_state;  in pop_stack()
512 static struct bpf_verifier_state *push_stack(struct bpf_verifier_env *env,  in push_stack()
515 	struct bpf_verifier_state *cur = env->cur_state;  in push_stack()
880 struct bpf_verifier_state *skip_callee(struct bpf_verifier_env *env,  in skip_callee()
881 				       const struct bpf_verifier_state *state,  in skip_callee()
882 				       struct bpf_verifier_state *parent,  in skip_callee()
885 	struct bpf_verifier_state *tmp = NULL;  in skip_callee()
928 			 const struct bpf_verifier_state *state,  in mark_reg_read()
929 			 struct bpf_verifier_state *parent,  in mark_reg_read()
957 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()
1138 				 const struct bpf_verifier_state *state,  in mark_stack_slot_read()
1139 				 struct bpf_verifier_state *parent,  in mark_stack_slot_read()
1168 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read()
1256 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()
2319 	struct bpf_verifier_state *vstate = env->cur_state;  in clear_all_pkt_pointers()
2329 	struct bpf_verifier_state *state = env->cur_state;  in check_func_call()
2396 	struct bpf_verifier_state *state = env->cur_state;  in prepare_func_exit()
2695 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()
3156 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()
3378 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()
3702 static void mark_map_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_map_regs()
3726 				   struct bpf_verifier_state *this_branch,  in try_match_pkt_pointers()
3727 				   struct bpf_verifier_state *other_branch)  in try_match_pkt_pointers()
3819 	struct bpf_verifier_state *this_branch = env->cur_state;  in check_cond_jmp_op()
3820 	struct bpf_verifier_state *other_branch;  in check_cond_jmp_op()
4589 			 struct bpf_verifier_state *old,  in states_equal()
4590 			 struct bpf_verifier_state *cur)  in states_equal()
4617 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()
4618 			      struct bpf_verifier_state *vparent)  in propagate_liveness()
4660 	struct bpf_verifier_state *cur = env->cur_state;  in is_state_visited()
4733 	struct bpf_verifier_state *state;  in do_check()
4741 	state = kzalloc(sizeof(struct bpf_verifier_state), GFP_KERNEL);  in do_check()