Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/wil6210/txrx_edma.c wil_rx_refill_edma() -> wil_ring_alloc_skb_edma()

Type Parameter Key Value
PARAM_VALUE 0 wil 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.edma_rx_swtail.va 4096-ptr_max
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 ring 4096-ptr_max
PARAM_VALUE 1 ring->edma_rx_swtail.va 4096-ptr_max
BUF_SIZE 0 wil s32min-(-1),1-s32max
BUF_SIZE 0 wil s32min-(-1),1-s32max
BUF_SIZE 1 ring 64
CAPPED_DATA 0 wil->num_rx_status_rings 1
DATA_SOURCE 0 wil $0
PARAM_COMPARE 0 &wil->ring_rx == $1
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