3739 	struct bpf_verifier_state *vstate = env->cur_state;  in check_reg_arg()  local
5263 	struct bpf_verifier_state *vstate = env->cur_state;  in mark_reg_stack_read()  local
5304 	struct bpf_verifier_state *vstate = env->cur_state;  in check_stack_read_fixed_off()  local
5632 	struct bpf_verifier_state *vstate = env->cur_state;  in check_mem_region_access()  local
5962 	struct bpf_verifier_state *vstate = env->cur_state;  in check_map_access()  local
10182 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open)  in mark_pkt_end()
10225 	struct bpf_verifier_state *vstate = env->cur_state;  in release_reference()  local
14071 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_ptr_alu()  local
14160 	struct bpf_verifier_state *vstate = env->cur_state;  in sanitize_mark_insn_seen()  local
14286 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_ptr_min_max_vals()  local
15180 	struct bpf_verifier_state *vstate = env->cur_state;  in adjust_reg_min_max_vals()  local
15551 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate,  in find_good_pkt_pointers()
16152 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno,  in mark_ptr_or_null_regs()
16299 static void collect_linked_regs(struct bpf_verifier_state *vstate, u32 id,  in collect_linked_regs()
16325 static void sync_linked_regs(struct bpf_verifier_state *vstate, struct bpf_reg_state *known_reg,  in sync_linked_regs()
18782 			      const struct bpf_verifier_state *vstate,  in propagate_liveness()