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 3()

Type Parameter Key Value
PARAM_VALUE 0 $ 6765852256480346112
PARAM_VALUE 0 $->act_mask 0
PARAM_VALUE 0 $->count 0
PARAM_VALUE 1 $ 4096-ptr_max
DATA_SOURCE 0 $ $1
DATA_SOURCE 1 $ $0
DATA_SOURCE 2 $ $4
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 3()

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