Lines Matching defs:vstate
3367 struct bpf_verifier_state *vstate = env->cur_state; in check_reg_arg() local
4880 struct bpf_verifier_state *vstate = env->cur_state; in mark_reg_stack_read() local
4921 struct bpf_verifier_state *vstate = env->cur_state; in check_stack_read_fixed_off() local
5249 struct bpf_verifier_state *vstate = env->cur_state; in check_mem_region_access() local
5553 struct bpf_verifier_state *vstate = env->cur_state; in check_map_access() local
9443 static void mark_pkt_end(struct bpf_verifier_state *vstate, int regn, bool range_open) in mark_pkt_end()
13043 struct bpf_verifier_state *vstate = env->cur_state; in sanitize_ptr_alu() local
13132 struct bpf_verifier_state *vstate = env->cur_state; in sanitize_mark_insn_seen() local
13258 struct bpf_verifier_state *vstate = env->cur_state; in adjust_ptr_min_max_vals() local
14160 struct bpf_verifier_state *vstate = env->cur_state; in adjust_reg_min_max_vals() local
14531 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate, in find_good_pkt_pointers()
15132 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, in mark_ptr_or_null_regs()
15279 static void collect_linked_regs(struct bpf_verifier_state *vstate, u32 id, in collect_linked_regs()
15305 static void sync_linked_regs(struct bpf_verifier_state *vstate, struct bpf_reg_state *known_reg, in sync_linked_regs()
17666 const struct bpf_verifier_state *vstate, in propagate_liveness()