Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ath/ath9k/hif_usb.c ath9k_hif_usb_alloc_rx_urbs() -> ath9k_hif_usb_dealloc_rx_urbs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hif_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.urb_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.urb_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.urb_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.urb_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.urb_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.suspend_wakeups.counter | 0 |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.urb_list.prev | 0,40,4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf_cnt | 8 |
| PARAM_VALUE | 0 | hif_dev->tx.tx_pending.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_pending.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_pending.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_pending.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_pending.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_skb_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_skb_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_skb_queue.qlen | 0 |
| BUF_SIZE | 0 | hif_dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | hif_dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | hif_dev->fw_data | (-1),1-s32max |
| BUF_SIZE | 0 | hif_dev->htc_handle | (-1),1312 |
| BUF_SIZE | 0 | hif_dev->htc_handle->dev | (-1),1616 |
| BUF_SIZE | 0 | hif_dev->htc_handle->hif | (-1),72 |
| BUF_SIZE | 0 | hif_dev->htc_handle->hif_dev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hif_dev | $0 |
| MEM_ZERO | 0 | &hif_dev->mgmt_submitted | |
| MEM_ZERO | 0 | &hif_dev->regout_submitted | |
| MEM_ZERO | 0 | &hif_dev->rx_submitted | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | hif_dev | unit_byte |
| HALF_LOCKED2 | &pool->lock |
drivers/net/wireless/ath/ath9k/hif_usb.c ath9k_hif_usb_alloc_urbs() -> ath9k_hif_usb_dealloc_rx_urbs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hif_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->mgmt_submitted.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->reg_in_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | hif_dev->reg_in_submitted.urb_list.prev | 40,4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->reg_in_submitted.urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->reg_in_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->reg_in_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.poisoned | 0 |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.suspend_wakeups.counter | 0 |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.urb_list.prev | 40,4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.urb_list.prev->next | 0,40,4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.urb_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->rx_submitted.wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_buf_cnt | 8 |
| PARAM_VALUE | 0 | hif_dev->tx.tx_pending.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_pending.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_pending.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_pending.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_pending.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_skb_queue.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_skb_queue.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->tx.tx_skb_queue.qlen | 0 |
| BUF_SIZE | 0 | hif_dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | hif_dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | hif_dev->fw_data | (-1),1-s32max |
| BUF_SIZE | 0 | hif_dev->htc_handle | (-1),1312 |
| BUF_SIZE | 0 | hif_dev->htc_handle->dev | (-1),1616 |
| BUF_SIZE | 0 | hif_dev->htc_handle->hif | (-1),72 |
| BUF_SIZE | 0 | hif_dev->htc_handle->hif_dev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hif_dev | $0 |
| MEM_ZERO | 0 | hif_dev->reg_in_submitted.urb_list.next | |
| MEM_ZERO | 0 | &hif_dev->mgmt_submitted | |
| MEM_ZERO | 0 | &hif_dev->reg_in_submitted | |
| MEM_ZERO | 0 | &hif_dev->regout_submitted | |
| MEM_ZERO | 0 | &hif_dev->rx_submitted | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | hif_dev | unit_byte |
drivers/net/wireless/ath/ath9k/hif_usb.c ath9k_hif_usb_dealloc_urbs() -> ath9k_hif_usb_dealloc_rx_urbs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hif_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | hif_dev->regout_submitted.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hif_dev->tx.tx_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | hif_dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | hif_dev | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | hif_dev->fw_data | (-1),1-s32max |
| BUF_SIZE | 0 | hif_dev->htc_handle | (-1),1312 |
| BUF_SIZE | 0 | hif_dev->htc_handle->dev | (-1),1616 |
| BUF_SIZE | 0 | hif_dev->htc_handle->hif | (-1),72 |
| BUF_SIZE | 0 | hif_dev->htc_handle->hif_dev | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hif_dev | $0 |
| PARAM_COMPARE | 0 | &hif_dev->mgmt_submitted.urb_list | == $0->mgmt_submitted.urb_list.next |
| PARAM_COMPARE | 0 | &hif_dev->reg_in_submitted.urb_list | == $0->reg_in_submitted.urb_list.next |
| PARAM_COMPARE | 0 | &hif_dev->regout_submitted.urb_list | == $0->regout_submitted.urb_list.next |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | hif_dev->htc_handle->drv_priv->ah->btcoex_hw.aic.aic_cal_start_time | 0-u32max |
| HOST_DATA | 0 | hif_dev->htc_handle->drv_priv->ah->btcoex_hw.mci.last_recovery | 0-u32max |
| UNITS | 0 | hif_dev | unit_byte |
| HALF_LOCKED2 | &pool->lock |