Defined in 1 files as a member:

Referenced in 17 files:

Smatch assignments to (struct bpf_verifier_ops)->is_valid_access:

net/core/filter.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [4096-ptr_max]

kernel/bpf/syscall.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [7808295272293523456]

net/bpf/bpf_dummy_struct_ops.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [5034074057267810304]

net/netfilter/nf_bpf_link.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [3249350847980384256]

net/ipv4/bpf_tcp_ca.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [8315314667906805760]

kernel/bpf/bpf_lsm.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [611296032099872768]

drivers/hid/bpf/hid_bpf_struct_ops.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [203260284469198848]

kernel/bpf/cgroup.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [1304022226666483712,2272832433600483328,2285296987371855872]

net/smc/smc_hs_bpf.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [2974191322165420032]

drivers/media/rc/bpf-lirc.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [1453136384067461120]

kernel/bpf/trampoline.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [0]

kernel/trace/bpf_trace.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [1703722588769198080,1780984146967781376,3008307236325523456,5144084323083481088,5873720851161214976,8514842956119785472]

kernel/bpf/bpf_struct_ops.c (null)() -> (struct bpf_verifier_ops)->is_valid_access [0]