Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/rx.c __efx_siena_rx_packet() -> efx_rx_deliver()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->efx 4096-ptr_max
PARAM_VALUE 0 channel->efx->loopback_selftest 0
PARAM_VALUE 0 channel->efx->net_dev 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_process 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->rx_packet 1910441183486427136,2077998210633433088,3222028056046903296
PARAM_VALUE 0 channel->efx->xdp_prog 0,4096-ptr_max
PARAM_VALUE 0 channel->rx_pkt_n_frags 1-u32max
PARAM_VALUE 0 channel->rx_queue.efx->net_dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 0 channel->type 4096-ptr_max
PARAM_VALUE 2 rx_buf 4096-ptr_max
PARAM_VALUE 3 n_frags 1-u32max
BUF_SIZE 0 channel->rx_list (-1),16
DATA_SOURCE 0 channel $0
DATA_SOURCE 2 rx_buf r efx_rx_buffer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/rx.c __efx_rx_packet() -> efx_rx_deliver()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->efx 4096-ptr_max
PARAM_VALUE 0 channel->efx->loopback_selftest 0
PARAM_VALUE 0 channel->efx->net_dev 4096-ptr_max
PARAM_VALUE 0 channel->efx->type 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_process 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->rx_packet 1910441183486427136,3222028056046903296
PARAM_VALUE 0 channel->efx->xdp_prog 0,4096-ptr_max
PARAM_VALUE 0 channel->rx_pkt_n_frags 1-u32max
PARAM_VALUE 0 channel->rx_queue.efx->net_dev->rtnl_link_ops->priv_size 0,8,32,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736,744,1056,1128,1336,1616,2176,2240,2272,2560,3296,3720,9688-u64max
PARAM_VALUE 0 channel->type 4096-ptr_max
PARAM_VALUE 2 rx_buf 4096-ptr_max
PARAM_VALUE 3 n_frags 1-u32max
BUF_SIZE 0 channel->rx_list (-1),16
DATA_SOURCE 0 channel $0
DATA_SOURCE 2 rx_buf r efx_rx_buffer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read