Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/iwlegacy/common.c il_tx_cmd_complete() -> il_hcmd_queue_reclaim()

Type Parameter Key Value
PARAM_VALUE 0 il 4096-ptr_max
PARAM_VALUE 0 il->cmd_queue 0-31
PARAM_VALUE 0 il->pci_dev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 il->txq 4096-ptr_max
PARAM_VALUE 1 txq_id 0-31
PARAM_VALUE 2 idx 0-255
PARAM_VALUE 3 cmd_idx 0-255
CAPPED_DATA 0 il->cmd_queue 1
CAPPED_DATA 1 txq_id 1
CAPPED_DATA 3 cmd_idx 1
DATA_SOURCE 0 il $0
PARAM_COMPARE 0 il->cmd_queue == $1
PARAM_COMPARE 1 txq_id == $0->cmd_queue
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
UNITS 1 txq_id unit_array_size
UNITS 3 cmd_idx unit_array_size
LOCK2 flags
LOCK2 0 &il->hcmd_lock
TYPE_LOCK (struct il_priv)->hcmd_lock