Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/ptp.c efx_ptp_worker() -> (struct efx_ptp_data)->xmit_skb()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data->evt_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 efx->ptp_data->rxq.next 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data->rxq.next->prev 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data->rxq.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 *efx->net_dev->name 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
DATA_SOURCE 1 skb r skb_dequeue
CONTAINER 0 *(-1832+0) $(-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/net/ethernet/sfc/ptp.c efx_ptp_worker() -> (struct efx_ptp_data)->xmit_skb()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data->rxq.next 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data->rxq.next->prev 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data->rxq.next->prev->prev 4096-ptr_max
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
DATA_SOURCE 1 skb r skb_dequeue
CONTAINER 0 *(-1608+0) $(-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock