Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/realtek/rtw89/pci.c rtw89_pci_alloc_tx_wd_ring() -> rtw89_pci_enqueue_txwd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tx_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | tx_ring->wd_ring.free_pages.next | 4096-ptr_max |
| PARAM_VALUE | 0 | tx_ring->wd_ring.free_pages.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tx_ring->wd_ring.free_pages.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tx_ring->wd_ring.free_pages.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | tx_ring->wd_ring.free_pages.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | tx_ring->wd_ring.head | 1-ptr_max |
| PARAM_VALUE | 0 | tx_ring->wd_ring.page_num | 512 |
| PARAM_VALUE | 0 | tx_ring->wd_ring.page_size | 128 |
| PARAM_VALUE | 0 | tx_ring->wd_ring.pages | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->len | 128 |
| PARAM_VALUE | 1 | txwd->queue.next | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->queue.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->queue.qlen | 0 |
| PARAM_VALUE | 1 | txwd->seq | 0-511 |
| PARAM_VALUE | 1 | txwd->vaddr | 1-ptr_max |
| DATA_SOURCE | 0 | tx_ring | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/net/wireless/realtek/rtw89/pci.c rtw89_pci_reclaim_txbd() -> rtw89_pci_enqueue_txwd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tx_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | tx_ring->bd_ring.len | 256 |
| PARAM_VALUE | 0 | tx_ring->txch | 0-12 |
| PARAM_VALUE | 0 | tx_ring->wd_ring.page_num | 512 |
| PARAM_VALUE | 0 | tx_ring->wd_ring.page_size | 128 |
| PARAM_VALUE | 1 | txwd | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->queue.qlen | 0 |
| DATA_SOURCE | 0 | tx_ring | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &rtwpci->trx_lock | ||
| LOCK2 | bh | ||
| TYPE_LOCK | (struct rtw89_pci)->trx_lock |
drivers/net/wireless/realtek/rtw89/pci.c rtw89_pci_release_txwd_skb() -> rtw89_pci_enqueue_txwd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tx_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | tx_ring->bd_ring.len | 256 |
| PARAM_VALUE | 0 | tx_ring->txch | 0-12 |
| PARAM_VALUE | 0 | tx_ring->wd_ring.page_num | 512 |
| PARAM_VALUE | 0 | tx_ring->wd_ring.page_size | 128 |
| PARAM_VALUE | 0 | tx_ring->wd_ring.pages | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->list.next | 4096-ptr_max |
| CAPPED_DATA | 1 | &txwd->list | 1 |
| CAPPED_DATA | 1 | &txwd->queue | 1 |
| DATA_SOURCE | 0 | tx_ring | $1 |
| DATA_SOURCE | 1 | txwd | $2 |
| PARAM_COMPARE | 1 | &txwd->list | == $1->list.next |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &rtwpci->trx_lock | ||
| LOCK2 | bh | ||
| TYPE_LOCK | (struct rtw89_pci)->trx_lock |
drivers/net/wireless/realtek/rtw89/pci.c rtw89_pci_txbd_submit() -> rtw89_pci_enqueue_txwd()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tx_ring | 4096-ptr_max |
| PARAM_VALUE | 0 | tx_ring->txch | 0-11 |
| PARAM_VALUE | 1 | txwd | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->len | 0 |
| PARAM_VALUE | 1 | txwd->list.next | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->list.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 1 | txwd->list.prev->prev | 4096-ptr_max |
| CAPPED_DATA | 0 | tx_ring->bd_ring.rp | 1 |
| DATA_SOURCE | 0 | tx_ring | $1 |
| DATA_SOURCE | 1 | txwd | r rtw89_pci_dequeue_txwd |
| PARAM_COMPARE | 0 | &tx_ring->wd_ring.free_pages | != $0->wd_ring.free_pages.next |
| PREEMPT_ADD | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &rtwpci->trx_lock | ||
| LOCK2 | bh | ||
| TYPE_LOCK | (struct rtw89_pci)->trx_lock |