Defined in 2 files as a function:
- drivers/net/wireless/broadcom/b43/dma.c, line 1285 (as a function)
- drivers/net/wireless/broadcom/b43legacy/dma.c, line 1025 (as a function)
Referenced in 2 files:
- drivers/net/wireless/broadcom/b43/dma.c, line 1396
- drivers/net/wireless/broadcom/b43legacy/dma.c, line 1087
Smatch caller information:
drivers/net/wireless/broadcom/b43/dma.c b43_dma_tx() -> should_inject_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ring | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->dev->wl | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->ops->idx2desc | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->stopped | 0 |
| CAPPED_DATA | 0 | ring->txhdr_cache | 1 |
| LOCK2 | &wl->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct b43_wl)->mutex |
drivers/net/wireless/broadcom/b43legacy/dma.c b43legacy_dma_tx() -> should_inject_overflow()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ring | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->dev->dfsentry->txstatlog.end | (-2147483643)-99 |
| PARAM_VALUE | 0 | ring->dev->wl | 4096-ptr_max |
| PARAM_VALUE | 0 | ring->stopped | 0 |
| CAPPED_DATA | 0 | ring->txhdr_cache | 1 |
| DATA_SOURCE | 0 | ring | r priority_to_txring |
| LOCK2 | &wl->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct b43legacy_wl)->mutex |