Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/idpf/xsk.c __libeth_xdp_run_flush() -> __libeth_xdp_run_flush param 2()

Type Parameter Key Value
PARAM_VALUE 0 $ 4096-ptr_max
PARAM_VALUE 1 $ 6765852256480346112
PARAM_VALUE 1 $->act_mask 0
PARAM_VALUE 1 $->count 0
DATA_SOURCE 0 $ $0
DATA_SOURCE 1 $ $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
HALF_LOCKED2 bh

drivers/net/ethernet/intel/idpf/idpf_txrx.c __libeth_xdp_run_flush() -> __libeth_xdp_run_flush param 2()

Type Parameter Key Value
PARAM_VALUE 0 $ 1611248244013617152,2360056481319448576
PARAM_VALUE 0 $->base.data_end 4096-ptr_max
PARAM_VALUE 0 $->base.data_meta 1-u64max
PARAM_VALUE 0 $->base.frame_sz 0-16777215
PARAM_VALUE 0 $->base.frame_sz_flags_init 0-u32max
PARAM_VALUE 0 $->base.rxq 4096-ptr_max
PARAM_VALUE 0 $->data 1-u64max
PARAM_VALUE 1 $->prog 1-u64max
DATA_SOURCE 0 $ $0
DATA_SOURCE 1 $ $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read