Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intersil/p54/txrx.c p54_tx_pending() -> p54_assign_address()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->tx_pending.lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 skb 4096-ptr_max
PARAM_VALUE 1 skb->next 0
PARAM_VALUE 1 skb->prev 0
CAPPED_DATA 0 &priv->tx_pending 1
DATA_SOURCE 0 priv $0
DATA_SOURCE 1 skb r skb_dequeue
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 priv->stats.dot11FCSErrorCount 0-u32max[u]
USER_DATA 0 priv->stats.dot11RTSFailureCount 0-u32max[u]
USER_DATA 0 priv->stats.dot11RTSSuccessCount 0-u32max[u]
USER_DATA 0 priv->survey_raw.cached_cca 0-u32max[u]
USER_DATA 0 priv->survey_raw.cached_rssi 0-u32max[u]
USER_DATA 0 priv->survey_raw.cached_tx 0-u32max[u]
USER_DATA 0 priv->survey_raw.timestamp 0-u32max
USER_DATA 0 priv->tsf_low32 0-u32max
NO_OVERFLOW_SIMPLE 0 priv->tx_pending.next->data_len
NO_OVERFLOW_SIMPLE 0 priv->tx_pending.next->prev->data_len
HALF_LOCKED2 0 &priv->conf_mutex
HALF_LOCKED2 0 &priv->eeprom_mutex