Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/st/cw1200/queue.c cw1200_queue_lock() -> __cw1200_queue_lock()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 queue $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &queue->lock
HALF_LOCKED2 &cache->lock
TYPE_LOCK (struct cw1200_queue)->lock

drivers/net/wireless/st/cw1200/queue.c cw1200_queue_put() -> __cw1200_queue_lock()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->link_map_cache 4096-ptr_max
PARAM_VALUE 0 queue->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 queue->overfull 1
PARAM_VALUE 0 queue->queue.prev 4096-ptr_max
PARAM_VALUE 0 queue->queue.prev->next 4096-ptr_max
PARAM_VALUE 0 queue->queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 queue->stats 4096-ptr_max
PARAM_VALUE 0 queue->stats->link_map_cache 4096-ptr_max
PARAM_VALUE 0 queue->stats->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 queue->stats->map_capacity 1-u64max
CAPPED_DATA 0 &queue->free_pool 1
DATA_SOURCE 0 queue $0
PARAM_COMPARE 0 &queue->free_pool != $0->free_pool.next
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &priv->ps_state_lock
LOCK2 0 &queue->lock
HALF_LOCKED2 &local->handle_wake_tx_queue_lock
HALF_LOCKED2 &priv->bss_loss_lock
TYPE_LOCK (struct cw1200_common)->ps_state_lock
TYPE_LOCK (struct cw1200_queue)->lock