Lines Matching defs:vstate
1720 struct bpf_verifier_state *vstate = env->cur_state; in check_reg_arg() local
2404 struct bpf_verifier_state *vstate = env->cur_state; in check_stack_read() local
2585 struct bpf_verifier_state *vstate = env->cur_state; in check_mem_region_access() local
2643 struct bpf_verifier_state *vstate = env->cur_state; in check_map_access() local
4681 struct bpf_verifier_state *vstate = env->cur_state; in clear_all_pkt_pointers() local
4713 struct bpf_verifier_state *vstate = env->cur_state; in release_reference() local
5399 struct bpf_verifier_state *vstate = env->cur_state; in sanitize_ptr_alu() local
5455 struct bpf_verifier_state *vstate = env->cur_state; in adjust_ptr_min_max_vals() local
6446 struct bpf_verifier_state *vstate = env->cur_state; in adjust_reg_min_max_vals() local
6718 static void find_good_pkt_pointers(struct bpf_verifier_state *vstate, in find_good_pkt_pointers()
7294 static void mark_ptr_or_null_regs(struct bpf_verifier_state *vstate, u32 regno, in mark_ptr_or_null_regs()
7411 static void find_equal_scalars(struct bpf_verifier_state *vstate, in find_equal_scalars()
8912 const struct bpf_verifier_state *vstate, in propagate_liveness()