ipw_queue_tx_free identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/wireless/intel/ipw2x00/ipw2200.c, line 3793 (as a function)

Referenced in 1 files:

drivers/net/wireless/intel/ipw2x00/ipw2200.c

Smatch caller information:

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

Type	Parameter	Key	Value
PARAM_VALUE	0	priv	4096-ptr_max
PARAM_VALUE	0	priv->ieee->geo.a->freq	0-4294967295
PARAM_VALUE	0	priv->ieee->geo.bg->freq	0-4294967295
PARAM_VALUE	0	priv->pci_dev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	priv->rxq	0,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->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
PARAM_VALUE	1	txq	4096-ptr_max
BUF_SIZE	0	priv	s32min-(-1),1-s32max
BUF_SIZE	0	priv	s32min-(-1),1-s32max
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
UNITS	0	priv	unit_byte
HALF_LOCKED2	0	&priv->mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	priv	4096-ptr_max
PARAM_VALUE	0	priv->ieee->geo.a->freq	0-4294967295
PARAM_VALUE	0	priv->ieee->geo.bg->freq	0-4294967295
PARAM_VALUE	0	priv->pci_dev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	priv->rxq	0,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->txq	4096-ptr_max
PARAM_VALUE	0	priv->txq_cmd.bd->u.data.tfd.tfd_26.mchdr.qos_ctrl	0,32
PARAM_VALUE	0	priv->txq_cmd.q.n_bd	0
PARAM_VALUE	0	*priv->eeprom	0-255
PARAM_VALUE	0	*priv->net_dev->name	0-255
PARAM_VALUE	1	txq	4096-ptr_max
BUF_SIZE	0	priv	s32min-(-1),1-s32max
BUF_SIZE	0	priv	s32min-(-1),1-s32max
BUF_SIZE	0	priv->pci_dev	(-1),1-s32max
BUF_SIZE	0	priv->rxq	(-1),2424
BUF_SIZE	1	txq	224
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
UNITS	0	priv	unit_byte
HALF_LOCKED2	0	&priv->mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	priv	4096-ptr_max
PARAM_VALUE	0	priv->ieee->geo.a->freq	0-4294967295
PARAM_VALUE	0	priv->ieee->geo.bg->freq	0-4294967295
PARAM_VALUE	0	priv->pci_dev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	priv->rxq	0,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->txq	4096-ptr_max
PARAM_VALUE	0	priv->txq_cmd.bd->u.data.tfd.tfd_26.mchdr.qos_ctrl	0,32
PARAM_VALUE	0	priv->txq_cmd.q.n_bd	0
PARAM_VALUE	0	*priv->eeprom	0-255
PARAM_VALUE	0	*priv->net_dev->name	0-255
PARAM_VALUE	1	txq	4096-ptr_max
BUF_SIZE	0	priv	s32min-(-1),1-s32max
BUF_SIZE	0	priv	s32min-(-1),1-s32max
BUF_SIZE	0	priv->pci_dev	(-1),1-s32max
BUF_SIZE	0	priv->rxq	(-1),2424
BUF_SIZE	1	txq	168
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
UNITS	0	priv	unit_byte
HALF_LOCKED2	0	&priv->mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	priv	4096-ptr_max
PARAM_VALUE	0	priv->ieee->geo.a->freq	0-4294967295
PARAM_VALUE	0	priv->ieee->geo.bg->freq	0-4294967295
PARAM_VALUE	0	priv->pci_dev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	priv->rxq	0,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->txq	4096-ptr_max
PARAM_VALUE	0	priv->txq_cmd.bd->u.data.tfd.tfd_26.mchdr.qos_ctrl	0,32
PARAM_VALUE	0	priv->txq_cmd.q.n_bd	0
PARAM_VALUE	0	*priv->eeprom	0-255
PARAM_VALUE	0	*priv->net_dev->name	0-255
PARAM_VALUE	1	txq	4096-ptr_max
BUF_SIZE	0	priv	s32min-(-1),1-s32max
BUF_SIZE	0	priv	s32min-(-1),1-s32max
BUF_SIZE	0	priv->pci_dev	(-1),1-s32max
BUF_SIZE	0	priv->rxq	(-1),2424
BUF_SIZE	1	txq	112
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
UNITS	0	priv	unit_byte
HALF_LOCKED2	0	&priv->mutex

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

Type	Parameter	Key	Value
PARAM_VALUE	0	priv	4096-ptr_max
PARAM_VALUE	0	priv->ieee->geo.a->freq	0-4294967295
PARAM_VALUE	0	priv->ieee->geo.bg->freq	0-4294967295
PARAM_VALUE	0	priv->pci_dev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	priv->rxq	0,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->txq	4096-ptr_max
PARAM_VALUE	0	priv->txq_cmd.bd->u.data.tfd.tfd_26.mchdr.qos_ctrl	0,32
PARAM_VALUE	0	priv->txq_cmd.q.n_bd	0
PARAM_VALUE	0	*priv->eeprom	0-255
PARAM_VALUE	0	*priv->net_dev->name	0-255
PARAM_VALUE	1	txq	4096-ptr_max
BUF_SIZE	0	priv	s32min-(-1),1-s32max
BUF_SIZE	0	priv	s32min-(-1),1-s32max
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
UNITS	0	priv	unit_byte
HALF_LOCKED2	0	&priv->mutex