Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ath/wil6210/txrx.c wil_rx_init() -> wil_vring_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wil | 4096-ptr_max |
| PARAM_VALUE | 0 | wil->main_ndev | 4096-ptr_max |
| PARAM_VALUE | 0 | wil->mem_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | wil->mem_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | wil->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wil->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wil->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | wil->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | wil->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | wil->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | wil->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | wil->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | wil->ring_rx.is_rx | 1 |
| PARAM_VALUE | 0 | wil->ring_rx.va | 0 |
| PARAM_VALUE | 0 | wil->rx_buf_len | 1986-s32max |
| PARAM_VALUE | 0 | wil->status | 4096-ptr_max |
| PARAM_VALUE | 0 | wil->wmi_wq->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | wil->wmi_wq->work_color | s32min-s32max |
| PARAM_VALUE | 0 | wil->wq_service->flush_color | s32min-s32max |
| PARAM_VALUE | 0 | wil->wq_service->work_color | s32min-s32max |
| PARAM_VALUE | 0 | *wil->fw_version | 0-255 |
| PARAM_VALUE | 0 | *wil->main_ndev->name | 0-255 |
| PARAM_VALUE | 0 | *wil->main_ndev->perm_addr | 0-255 |
| PARAM_VALUE | 0 | *wil->wiphy->perm_addr | 0-255 |
| PARAM_VALUE | 1 | vring | 4096-ptr_max |
| PARAM_VALUE | 1 | vring->is_rx | 1 |
| PARAM_VALUE | 1 | vring->va | 0 |
| BUF_SIZE | 0 | wil | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | wil | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | vring | 64 |
| DATA_SOURCE | 0 | wil | $0 |
| PARAM_COMPARE | 0 | &wil->ring_rx | == $1 |
| POWER_OF_TWO | 1 | *vring | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | wil->mbox_ctl.tx.tail | 0-u32max |
| LOCK2 | 0 | &wil->mutex | |
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct wil6210_priv)->mutex |
drivers/net/wireless/ath/wil6210/txrx.c wil_vring_init_bcast() -> wil_vring_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wil | 4096-ptr_max |
| PARAM_VALUE | 0 | wil->main_ndev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wil->max_assoc_sta | 0-255 |
| PARAM_VALUE | 0 | wil->ring_tx | 4096-ptr_max |
| PARAM_VALUE | 0 | wil->ring_tx_data | 4096-ptr_max |
| PARAM_VALUE | 0 | wil->wmi_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wil->wmi_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | *wil->main_ndev->name | 0-255 |
| PARAM_VALUE | 1 | vring | 4096-ptr_max |
| PARAM_VALUE | 1 | vring->is_rx | 0 |
| PARAM_VALUE | 1 | vring->va | 0 |
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | wil->mbox_ctl.tx.tail | 0-u32max |
| LOCK2 | &wil->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | global &rtnl_mutex | ||
| TYPE_LOCK | (struct wil6210_priv)->mutex |
drivers/net/wireless/ath/wil6210/txrx.c wil_vring_init_tx() -> wil_vring_alloc()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | wil | 4096-ptr_max |
| PARAM_VALUE | 0 | wil->main_ndev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wil->max_assoc_sta | 1-u32max |
| PARAM_VALUE | 0 | wil->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | wil->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | wil->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | wil->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | wil->ring_tx | 4096-ptr_max |
| PARAM_VALUE | 0 | wil->ring_tx_data | 4096-ptr_max |
| PARAM_VALUE | 0 | *wil->main_ndev->name | 0-255 |
| PARAM_VALUE | 1 | vring | 4096-ptr_max |
| PARAM_VALUE | 1 | vring->is_rx | 0 |
| PARAM_VALUE | 1 | vring->va | 0 |
| LOCK2 | &pool->lock | ||
| LOCK2 | &wil->mutex | ||
| TYPE_LOCK | (struct wil6210_priv)->mutex |