Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_load() -> ipw_tx_queue_free()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->ieee 4096-ptr_max
PARAM_VALUE 0 priv->rxq 0
PARAM_VALUE 0 priv->suspend_time 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.tfd.tfd_26.mchdr.qos_ctrl 0,32
PARAM_VALUE 0 *priv->eeprom 0-255
PARAM_VALUE 0 *priv->net_dev->name 0-255
BUF_SIZE 0 priv->pci_dev (-1),16,24,40,56,108-1096,1384,1600,1616,1752,2072,2576,7472,8064
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 priv->pci_dev->current_state 0-3[c]
HOST_DATA 0 priv->table0_len 0-u32max
HOST_DATA 0 priv->table1_addr 0-u32max
HOST_DATA 0 priv->table1_len 0-u32max
HOST_DATA 0 priv->table2_addr 0-u32max
HOST_DATA 0 priv->table2_len 0-u16max[c]
NO_OVERFLOW_SIMPLE 0 priv->cmdlog_len
HALF_LOCKED2 &priv->mutex
HALF_LOCKED2 0 &priv->mutex
TYPE_LOCK (struct ipw_priv)->mutex

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_pci_remove() -> ipw_tx_queue_free()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->assoc_request.assoc_type 2
PARAM_VALUE 0 priv->irq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->led_act_off.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 priv->led_link_off.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 priv->led_link_on.timer.entry->pprev 4096-ptr_max
PARAM_VALUE 0 priv->mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 priv->mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 priv->mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 priv->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 priv->mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 priv->mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->net_dev 4096-ptr_max
PARAM_VALUE 0 priv->net_dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 priv->net_dev->nd_net.net->dev_unreg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->net_dev->nd_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 0 priv->net_dev->nd_net.net->rtnl_mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->net_dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->net_dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 priv->net_dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 priv->net_dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 priv->rxq 0
BUF_SIZE 0 priv s32min-(-2),1-s32max
BUF_SIZE 0 priv s32min-(-2),1-s32max
CAPPED_DATA 0 priv->net_dev->nd_net.net 1
CAPPED_DATA 0 &priv->mutex 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 priv unit_byte

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_queue_reset() -> ipw_tx_queue_free()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->ieee 4096-ptr_max
PARAM_VALUE 0 priv->ieee->iw_mode 1-2,6
PARAM_VALUE 0 priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 priv->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 priv->rxq 4096-ptr_max
PARAM_VALUE 0 priv->rxq->free_count 0
PARAM_VALUE 0 priv->rxq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->rxq->read 0
PARAM_VALUE 0 priv->rxq->rx_free.next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_free.next->next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_free.prev 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_free.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_free.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_used.next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_used.next->next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_used.prev 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_used.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_used.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->rxq->write 0
PARAM_VALUE 0 priv->sram_desc.last_cb_index 0-64
PARAM_VALUE 0 priv->status 0,4-u32max
PARAM_VALUE 0 priv->suspend_time 0
PARAM_VALUE 0 priv->txq_cmd.bd->control_flags.control_bits 0,4
PARAM_VALUE 0 priv->txq_cmd.bd->control_flags.message_type 0-1
PARAM_VALUE 0 priv->txq_cmd.bd->u.cmd.index 0,2,6,8,11,15-19,21-23,25-26,31,33-35,42,51,84
PARAM_VALUE 0 priv->txq_cmd.bd->u.cmd.reserved 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.antenna 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.cmd_id 0,11
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.cwcurrent 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.next_frag_len 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.num_chunks 0-5
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.priority 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.rate 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.reserved1 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.reserved2 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.reserved3 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.retrylimit 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.seq_num 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.station_number 0-254
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.tfd.tfd_26.mchdr.qos_ctrl 0,32
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.tx_flags 0,4,32,36,128,132,160,164
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.tx_flags_ext 0-1,8-9,12-13,16-17,24-25,28-29
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.work_area_ptr 0
PARAM_VALUE 0 *priv->eeprom 0-255
PARAM_VALUE 0 *priv->net_dev->name 0-255
BUF_SIZE 0 priv->pci_dev (-1),1-s32max
BUF_SIZE 0 priv->rxq (-1),2424
DATA_SOURCE 0 priv $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 priv->pci_dev->current_state 0-3[c]
HOST_DATA 0 priv->table0_len 0-u32max
HOST_DATA 0 priv->table1_addr 0-u32max
HOST_DATA 0 priv->table1_len 0-u32max
HOST_DATA 0 priv->table2_addr 0-u32max
HOST_DATA 0 priv->table2_len 0-u16max[c]
NO_OVERFLOW_SIMPLE 0 priv->cmdlog_len
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->mutex
HALF_LOCKED2 0 &priv->mutex
TYPE_LOCK (struct ipw_priv)->mutex

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_queue_reset() -> ipw_tx_queue_free()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->ieee 4096-ptr_max
PARAM_VALUE 0 priv->ieee->iw_mode 1-2,6
PARAM_VALUE 0 priv->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->pci_dev->dev.cma_area->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->pci_dev->dev.cma_area->nranges s32min-s32max
PARAM_VALUE 0 priv->pci_dev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 priv->rxq 4096-ptr_max
PARAM_VALUE 0 priv->rxq->free_count 0
PARAM_VALUE 0 priv->rxq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->rxq->read 0
PARAM_VALUE 0 priv->rxq->rx_free.next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_free.next->next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_free.prev 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_free.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_free.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_used.next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_used.next->next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_used.prev 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_used.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->rxq->rx_used.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->rxq->write 0
PARAM_VALUE 0 priv->sram_desc.last_cb_index 0-64
PARAM_VALUE 0 priv->status 0,4-u32max
PARAM_VALUE 0 priv->suspend_time 0
PARAM_VALUE 0 priv->txq_cmd.bd 0-ptr_max
PARAM_VALUE 0 priv->txq_cmd.bd->u.cmd.index 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.cmd.length 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.cmd.reserved 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.antenna 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.cmd_id 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.cwcurrent 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.key_index 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.len 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.next_frag_len 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.num_chunks 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.priority 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.rate 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.reserved1 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.reserved2 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.reserved3 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.retrylimit 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.seq_num 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.station_number 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.tx_flags 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.tx_flags_ext 0
PARAM_VALUE 0 priv->txq_cmd.bd->u.data.work_area_ptr 0
PARAM_VALUE 0 priv->txq_cmd.q.first_empty 0
PARAM_VALUE 0 priv->txq_cmd.q.high_mark 0,2,8
PARAM_VALUE 0 priv->txq_cmd.q.last_used 0
PARAM_VALUE 0 priv->txq_cmd.q.low_mark 0,4,16
PARAM_VALUE 0 priv->txq_cmd.q.reg_r 0,640
PARAM_VALUE 0 priv->txq_cmd.q.reg_w 0,3968
PARAM_VALUE 0 priv->txq_cmd.txb 0,4096-ptr_max
PARAM_VALUE 0 *priv->eeprom 0-255
PARAM_VALUE 0 *priv->net_dev->name 0-255
BUF_SIZE 0 priv->pci_dev (-1),1-s32max
BUF_SIZE 0 priv->rxq (-1),2424
DATA_SOURCE 0 priv $0
FUZZY_MAX 0 priv->txq_cmd.q.reg_r 640
FUZZY_MAX 0 priv->txq_cmd.q.reg_w 3968
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 priv->pci_dev->current_state 0-3[c]
HOST_DATA 0 priv->table0_len 0-u32max
HOST_DATA 0 priv->table1_addr 0-u32max
HOST_DATA 0 priv->table1_len 0-u32max
HOST_DATA 0 priv->table2_addr 0-u32max
HOST_DATA 0 priv->table2_len 0-u16max[c]
NO_OVERFLOW_SIMPLE 0 priv->cmdlog_len
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &priv->mutex
HALF_LOCKED2 0 &priv->mutex
TYPE_LOCK (struct ipw_priv)->mutex