Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/rx.c efx_rx_skb_attach_timestamp() -> __efx_rx_skb_attach_timestamp()

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->ptp_data->evt_code s32min-s32max
PARAM_VALUE 0 channel->efx->ptp_data->evt_frag_idx s32min-s32max
PARAM_VALUE 0 channel->efx->ptp_data->reset_required 0-1
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->mcdi_max_ver 1-2
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->sync_events_state 3
PARAM_VALUE 0 channel->type 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->data 4096-ptr_max
PARAM_VALUE 1 skb->dev 4096-ptr_max
PARAM_VALUE 1 skb->len 0-4294967281
PARAM_VALUE 1 skb->pkt_type 1-3
BUF_SIZE 0 channel->rx_list (-1),16
BUF_SIZE 1 skb (-1)-s32max
BUF_SIZE 1 skb (-1)-s32max
DATA_SOURCE 0 channel $0
DATA_SOURCE 1 skb $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL