Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/ethernet/netronome/nfp/bpf/jit.c curr_pair_is_memcpy() -> is_mbpf_store()

Type Parameter Key Value
PARAM_VALUE 0 meta 4096-ptr_max
DATA_SOURCE 0 meta $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &bpf_devs_lock

drivers/net/ethernet/netronome/nfp/bpf/jit.c is_mbpf_store_pkt() -> is_mbpf_store()

Type Parameter Key Value
PARAM_VALUE 0 meta 4096-ptr_max
DATA_SOURCE 0 meta $0
BIT_INFO 0 meta->flags 0x0,0xffc7
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &bpf_devs_lock

drivers/net/ethernet/netronome/nfp/bpf/verifier.c nfp_bpf_check_ptr() -> is_mbpf_store()

Type Parameter Key Value
PARAM_VALUE 0 meta 4096-ptr_max
PARAM_VALUE 0 meta->insn.code 0-148,150-255
DATA_SOURCE 0 meta $1
LOCK2 global &bpf_devs_lock

drivers/net/ethernet/netronome/nfp/bpf/verifier.c nfp_verify_insn() -> is_mbpf_store()

Type Parameter Key Value
PARAM_VALUE 0 meta 4096-ptr_max
PARAM_VALUE 0 meta->insn.code 0-148,150-255
LOCK2 global &bpf_devs_lock