Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/falcon/rx.c ef4_rx_deliver() -> ef4_rx_mk_skb()

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->revision 1-2
PARAM_VALUE 0 channel->rx_pkt_n_frags 1-u32max
PARAM_VALUE 0 channel->type 4096-ptr_max
PARAM_VALUE 1 rx_buf 4096-ptr_max
PARAM_VALUE 2 n_frags 1-u32max
PARAM_VALUE 4 hdr_len 0-128
CAPPED_DATA 4 hdr_len 1
DATA_SOURCE 0 channel $0
DATA_SOURCE 1 rx_buf $2
DATA_SOURCE 2 n_frags $3
DATA_SOURCE 3 eh $1
RX_PATH
TASK_NOT_RUNNING
UNITS 4 hdr_len unit_byte
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read