Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/wireless/st/cw1200/txrx.c cw1200_tx_confirm_cb() -> cw1200_queue_remove()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->capacity 16
PARAM_VALUE 0 queue->lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 packet_id 0-255
BUF_SIZE 0 queue 1184
BUF_SIZE 0 queue 1184
CAPPED_DATA 0 queue->generation 1
CAPPED_DATA 0 queue->queue_id 1
CAPPED_DATA 1 packet_id 1
RX_PATH
NOCHECK_CALL
USER_DATA 1 packet_id 0-255[c]

drivers/net/wireless/st/cw1200/wsm.c wsm_handle_tx_data() -> cw1200_queue_remove()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->capacity 0-u32max
PARAM_VALUE 0 queue->free_pool.next 4096-ptr_max
PARAM_VALUE 0 queue->free_pool.next->next 4096-ptr_max
PARAM_VALUE 0 queue->free_pool.next->prev 4096-ptr_max
PARAM_VALUE 0 queue->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 queue->overfull 0
PARAM_VALUE 0 queue->pending.prev 4096-ptr_max
PARAM_VALUE 0 queue->pending.prev->next 4096-ptr_max
PARAM_VALUE 0 queue->pending.prev->next->next 4096-ptr_max
PARAM_VALUE 0 queue->stats->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 queue->stats->priv->ps_state_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 queue->stats->priv->tx_policy_cache.free.next 4096-ptr_max
PARAM_VALUE 0 queue->stats->priv->tx_policy_cache.free.next->next 4096-ptr_max
PARAM_VALUE 0 queue->stats->priv->tx_policy_cache.free.next->prev 4096-ptr_max
DATA_SOURCE 0 queue $4
USER_DATA 1 packet_id 0-u32max[u]

drivers/net/wireless/st/cw1200/scan.c cw1200_probe_work() -> cw1200_queue_remove()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->capacity 16
PARAM_VALUE 0 queue->lock.rlock.dep_map->name 0-255
CAPPED_DATA 0 queue->generation 1
CAPPED_DATA 0 queue->queue_id 1
LOCK2 &priv->scan.lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct cw1200_scan)->lock