Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/wireless/ath/wil6210/txrx.c wil_rx_refill() -> wil_vring_alloc_skb()
| 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->ring_rx.va | 1-u64max |
| PARAM_VALUE | 0 | *wil->main_ndev->name | 0-255 |
| PARAM_VALUE | 1 | vring | 4096-ptr_max |
| PARAM_VALUE | 1 | vring->va | 1-u64max |
| PARAM_VALUE | 3 | headroom | 0,128 |
| 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 |
| FUZZY_MAX | 3 | headroom | 128 |
| PARAM_COMPARE | 0 | &wil->ring_rx | == $1 |
| BIT_INFO | 3 | headroom | 0x0,0x80 |
| HARD_MAX | 3 | headroom | 128 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | wil->mbox_ctl.tx.tail | 0-u32max |
| UNITS | 2 | i | unit_page |
| HALF_LOCKED2 | 0 | &wil->mutex |