Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/netronome/nfp/bpf/jit.c call() -> is_mbpf_pseudo_call()

Type Parameter Key Value
DATA_SOURCE 0 meta $1

drivers/net/ethernet/netronome/nfp/bpf/jit.c nfp_fixup_branches() -> is_mbpf_pseudo_call()

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

drivers/net/ethernet/netronome/nfp/bpf/jit.c nfp_fixup_branches() -> is_mbpf_pseudo_call()

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

drivers/net/ethernet/netronome/nfp/bpf/jit.c nfp_fixup_branches() -> is_mbpf_pseudo_call()

Type Parameter Key Value
PARAM_VALUE 0 meta 4096-ptr_max
CAPPED_DATA 0 &meta->l 1
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_get_stack_usage() -> is_mbpf_pseudo_call()

Type Parameter Key Value
PARAM_VALUE 0 meta 4096-ptr_max
CAPPED_DATA 0 meta->subprog_idx 1
LOCK2 global &bpf_devs_lock