Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_load_ucode() -> ipw_write_reg8()

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

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_load_ucode() -> ipw_write_reg8()

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

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_load_ucode() -> ipw_write_reg8()

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

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_load_ucode() -> ipw_write_reg8()

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

drivers/net/wireless/intel/ipw2x00/ipw2200.c ipw_load_ucode() -> ipw_write_reg8()

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