wil_vring_free identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/wireless/ath/wil6210/txrx.c, line 190 (as a function)

Referenced in 1 files:

drivers/net/wireless/ath/wil6210/txrx.c

Smatch caller information:

drivers/net/wireless/ath/wil6210/txrx.c wil_rx_fini() -> wil_vring_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	wil	4096-ptr_max
PARAM_VALUE	0	wil->hw_capa	4096-ptr_max
PARAM_VALUE	0	wil->hw_version	1-u32max
PARAM_VALUE	0	wil->main_ndev	0,4096-ptr_max
PARAM_VALUE	0	wil->mem_lock.first_waiter->handoff_set	0-1
PARAM_VALUE	0	wil->mem_lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	wil->mem_lock.first_waiter->type	0-1
PARAM_VALUE	0	wil->mem_lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	wil->mem_lock.wait_lock.owner	(-1)
PARAM_VALUE	0	wil->mem_lock.wait_lock.owner_cpu	u32max
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->pdev	4096-ptr_max
PARAM_VALUE	0	wil->platform_capa	4096-ptr_max
PARAM_VALUE	0	wil->ring_rx.va	1-u64max
PARAM_VALUE	0	wil->status	4096-ptr_max
PARAM_VALUE	0	wil->vif_mutex.dep_map->name	0-255
PARAM_VALUE	0	wil->vif_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	wil->vif_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	wil->vif_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	wil->vif_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	wil->wiphy->coalesce->n_patterns	4
PARAM_VALUE	0	wil->wiphy->coalesce->n_rules	8
PARAM_VALUE	0	wil->wiphy->coalesce->pattern_max_len	40
PARAM_VALUE	0	wil->wiphy->coalesce->pattern_min_len	1
PARAM_VALUE	0	wil->wmi_ev_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_mutex.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	wil->wmi_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	wil->wmi_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	wil->wmi_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	*wil->fw_version	0-255
PARAM_VALUE	0	*wil->main_ndev->name	0-255
PARAM_VALUE	1	vring	4096-ptr_max
PARAM_VALUE	1	vring->va	1-u64max
BUF_SIZE	0	wil->pdev	(-1),1-s32max
BUF_SIZE	0	wil->platform_handle	(-1),56
BUF_SIZE	1	vring	64
CAPPED_DATA	0	wil	1
DATA_SOURCE	0	wil	$0
PARAM_COMPARE	0	&wil->ring_rx	== $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	wil->chip_revision	0-3
HOST_DATA	0	wil->mbox_ctl.tx.tail	0-u32max
LOCK2	0	&wil->mem_lock
LOCK2	0	&wil->mutex
TYPE_LOCK		(struct wil6210_priv)->mem_lock
TYPE_LOCK		(struct wil6210_priv)->mutex

drivers/net/wireless/ath/wil6210/txrx.c wil_rx_init() -> wil_vring_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	wil	4096-ptr_max
PARAM_VALUE	0	wil->halp.comp.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	wil->halp.comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	wil->halp.comp.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	wil->halp.lock.dep_map->name	0-255
PARAM_VALUE	0	wil->halp.lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	wil->halp.lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	wil->halp.lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	wil->main_ndev	4096-ptr_max
PARAM_VALUE	0	wil->main_ndev->ieee80211_ptr	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->reply_buf	0
PARAM_VALUE	0	wil->reply_id	0
PARAM_VALUE	0	wil->reply_mid	255
PARAM_VALUE	0	wil->reply_size	0
PARAM_VALUE	0	wil->ring_rx.ctx	16,4096-ptr_max
PARAM_VALUE	0	wil->ring_rx.is_rx	1
PARAM_VALUE	0	wil->ring_rx.swhead	0
PARAM_VALUE	0	wil->ring_rx.va	1-ptr_max
PARAM_VALUE	0	wil->ring_rx.va->rx.enhanced.dma.d0	0
PARAM_VALUE	0	wil->ring_rx.va->rx.enhanced.dma.length	0
PARAM_VALUE	0	wil->ring_rx.va->rx.enhanced.dma.w5	0
PARAM_VALUE	0	wil->ring_rx.va->rx.legacy.dma.b11	0
PARAM_VALUE	0	wil->ring_rx.va->rx.legacy.dma.d0	0
PARAM_VALUE	0	wil->ring_rx.va->rx.legacy.dma.error	0
PARAM_VALUE	0	wil->ring_rx.va->rx.legacy.dma.length	0
PARAM_VALUE	0	wil->ring_rx.va->rx.legacy.dma.status	0
PARAM_VALUE	0	wil->ring_rx.va->rx.legacy.mac.d0	0
PARAM_VALUE	0	wil->ring_rx.va->rx.legacy.mac.d1	0
PARAM_VALUE	0	wil->ring_rx.va->rx.legacy.mac.pn_15_0	0
PARAM_VALUE	0	wil->ring_rx.va->rx.legacy.mac.pn_47_16	0
PARAM_VALUE	0	wil->ring_rx.va->rx.legacy.mac.w4	0
PARAM_VALUE	0	wil->ring_rx.va->tx.enhanced.dma.b11	0
PARAM_VALUE	0	wil->ring_rx.va->tx.enhanced.dma.cmd	0
PARAM_VALUE	0	wil->ring_rx.va->tx.enhanced.dma.length	0
PARAM_VALUE	0	wil->ring_rx.va->tx.enhanced.dma.w1	0
PARAM_VALUE	0	wil->ring_rx.va->tx.legacy.dma.b11	0
PARAM_VALUE	0	wil->ring_rx.va->tx.legacy.dma.d0	0
PARAM_VALUE	0	wil->ring_rx.va->tx.legacy.dma.error	0
PARAM_VALUE	0	wil->ring_rx.va->tx.legacy.dma.length	0
PARAM_VALUE	0	wil->ring_rx.va->tx.legacy.dma.status	0
PARAM_VALUE	0	wil->rx_buf_len	1986-s32max
PARAM_VALUE	0	wil->status	4096-ptr_max
PARAM_VALUE	0	wil->wiphy	4096-ptr_max
PARAM_VALUE	0	wil->wmi_call.done	0-4294967293,u32max
PARAM_VALUE	0	wil->wmi_call.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_call.wait.lock.owner	(-1)
PARAM_VALUE	0	wil->wmi_call.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	wil->wmi_call.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	wil->wmi_call.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	wil->wmi_ev_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_mutex.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	wil->wmi_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	wil->wmi_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	wil->wmi_mutex.osq.tail.counter	0-s32max
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->ctx	16,4096-ptr_max
PARAM_VALUE	1	vring->is_rx	1
PARAM_VALUE	1	vring->swhead	0
PARAM_VALUE	1	vring->swtail	0
PARAM_VALUE	1	vring->va	1-ptr_max
PARAM_VALUE	1	vring->va->rx.enhanced.dma.d0	0
PARAM_VALUE	1	vring->va->rx.enhanced.dma.length	0
PARAM_VALUE	1	vring->va->rx.enhanced.dma.w5	0
PARAM_VALUE	1	vring->va->rx.enhanced.mac.buff_id	0
PARAM_VALUE	1	vring->va->rx.enhanced.mac.reserved	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.addr.addr_high	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.addr.addr_low	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.b11	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.d0	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.error	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.ip_length	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.length	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.status	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.d0	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.d1	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn.pn_15_0	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn.pn_47_16	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn_15_0	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn_47_16	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.w4	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.b11	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.cmd	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.ip_length	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.l4_hdr_len	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.length	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.w1	0
PARAM_VALUE	1	vring->va->tx.enhanced.mac.scratchpad	0
PARAM_VALUE	1	vring->va->tx.enhanced.mac.tso_mss	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.addr.addr_high	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.addr.addr_low	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.b11	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.d0	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.error	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.ip_length	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.length	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.status	0
PARAM_VALUE	1	vring->va->tx.legacy.mac.ucode_cmd	0
BUF_SIZE	0	wil	s32min-(-1),1-s32max
BUF_SIZE	0	wil	s32min-(-1),1-s32max
BUF_SIZE	1	vring	64
CAPPED_DATA	1	vring->size	1
DATA_SOURCE	0	wil	$0
PARAM_COMPARE	0	&wil->ring_rx	== $1
POWER_OF_TWO	1	*vring
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	wil->mbox_ctl.tx.tail	0-u32max
NO_OVERFLOW_SIMPLE	1	vring->size
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_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	wil	4096-ptr_max
PARAM_VALUE	0	wil->halp.comp.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	wil->halp.comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	wil->halp.comp.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	wil->halp.lock.dep_map->name	0-255
PARAM_VALUE	0	wil->halp.lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	wil->halp.lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	wil->halp.lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	wil->halp.lock.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	wil->main_ndev	0,4096-ptr_max
PARAM_VALUE	0	wil->max_assoc_sta	0-255
PARAM_VALUE	0	wil->reply_buf	0
PARAM_VALUE	0	wil->reply_id	0
PARAM_VALUE	0	wil->reply_mid	255
PARAM_VALUE	0	wil->reply_size	0
PARAM_VALUE	0	wil->ring2cid_tid	4096-ptr_max
PARAM_VALUE	0	wil->ring_tx	4096-ptr_max
PARAM_VALUE	0	wil->ring_tx_data	4096-ptr_max
PARAM_VALUE	0	wil->wiphy	4096-ptr_max
PARAM_VALUE	0	wil->wmi_call.done	0-4294967293,u32max
PARAM_VALUE	0	wil->wmi_call.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_call.wait.lock.owner	(-1)
PARAM_VALUE	0	wil->wmi_call.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	wil->wmi_call.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	wil->wmi_call.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	wil->wmi_ev_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_mutex.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	wil->wmi_mutex.first_waiter->list.prev->next	5159360019465732096
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->ctx	16,4096-ptr_max
PARAM_VALUE	1	vring->is_rx	0
PARAM_VALUE	1	vring->swhead	0
PARAM_VALUE	1	vring->swtail	0
PARAM_VALUE	1	vring->va	1-ptr_max
PARAM_VALUE	1	vring->va->rx.enhanced.dma.d0	0
PARAM_VALUE	1	vring->va->rx.enhanced.dma.length	0
PARAM_VALUE	1	vring->va->rx.enhanced.dma.w5	0
PARAM_VALUE	1	vring->va->rx.enhanced.mac.buff_id	0
PARAM_VALUE	1	vring->va->rx.enhanced.mac.reserved	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.addr.addr_high	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.addr.addr_low	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.b11	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.d0	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.error	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.ip_length	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.length	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.status	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.d0	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.d1	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn.pn_15_0	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn.pn_47_16	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn_15_0	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn_47_16	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.w4	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.b11	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.cmd	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.ip_length	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.l4_hdr_len	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.length	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.w1	0
PARAM_VALUE	1	vring->va->tx.enhanced.mac.scratchpad	0
PARAM_VALUE	1	vring->va->tx.enhanced.mac.tso_mss	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.addr.addr_high	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.addr.addr_low	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.b11	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.d0	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.error	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.ip_length	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.length	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.status	0
PARAM_VALUE	1	vring->va->tx.legacy.mac.ucode_cmd	0
CAPPED_DATA	1	vring->size	1
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	wil->mbox_ctl.tx.tail	0-u32max
NO_OVERFLOW_SIMPLE	1	vring->size
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_free()

Type	Parameter	Key	Value
PARAM_VALUE	0	wil	4096-ptr_max
PARAM_VALUE	0	wil->halp.comp.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	wil->halp.comp.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	wil->halp.comp.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	wil->halp.lock.dep_map->name	0-255
PARAM_VALUE	0	wil->halp.lock.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	wil->halp.lock.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	wil->halp.lock.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	wil->halp.lock.first_waiter->task->usage.refs.counter	s32min-s32max
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->reply_buf	0
PARAM_VALUE	0	wil->reply_id	0
PARAM_VALUE	0	wil->reply_mid	255
PARAM_VALUE	0	wil->reply_size	0
PARAM_VALUE	0	wil->ring2cid_tid	4096-ptr_max
PARAM_VALUE	0	wil->ring_tx	4096-ptr_max
PARAM_VALUE	0	wil->ring_tx_data	4096-ptr_max
PARAM_VALUE	0	wil->wiphy	4096-ptr_max
PARAM_VALUE	0	wil->wmi_call.done	0-4294967293,u32max
PARAM_VALUE	0	wil->wmi_call.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_call.wait.lock.owner	(-1)
PARAM_VALUE	0	wil->wmi_call.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	wil->wmi_call.wait.task_list.prev->next	4096-ptr_max
PARAM_VALUE	0	wil->wmi_call.wait.task_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	wil->wmi_ev_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_mutex.dep_map->name	0-255
PARAM_VALUE	0	wil->wmi_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	wil->wmi_mutex.first_waiter->list.prev->next	5159360019465732096
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->ctx	16,4096-ptr_max
PARAM_VALUE	1	vring->is_rx	0
PARAM_VALUE	1	vring->swhead	0
PARAM_VALUE	1	vring->swtail	0
PARAM_VALUE	1	vring->va	1-ptr_max
PARAM_VALUE	1	vring->va->rx.enhanced.dma.d0	0
PARAM_VALUE	1	vring->va->rx.enhanced.dma.length	0
PARAM_VALUE	1	vring->va->rx.enhanced.dma.w5	0
PARAM_VALUE	1	vring->va->rx.enhanced.mac.buff_id	0
PARAM_VALUE	1	vring->va->rx.enhanced.mac.reserved	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.addr.addr_high	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.addr.addr_low	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.b11	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.d0	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.error	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.ip_length	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.length	0
PARAM_VALUE	1	vring->va->rx.legacy.dma.status	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.d0	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.d1	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn.pn_15_0	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn.pn_47_16	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn_15_0	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.pn_47_16	0
PARAM_VALUE	1	vring->va->rx.legacy.mac.w4	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.b11	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.cmd	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.ip_length	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.l4_hdr_len	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.length	0
PARAM_VALUE	1	vring->va->tx.enhanced.dma.w1	0
PARAM_VALUE	1	vring->va->tx.enhanced.mac.scratchpad	0
PARAM_VALUE	1	vring->va->tx.enhanced.mac.tso_mss	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.addr.addr_high	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.addr.addr_low	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.b11	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.d0	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.error	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.ip_length	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.length	0
PARAM_VALUE	1	vring->va->tx.legacy.dma.status	0
PARAM_VALUE	1	vring->va->tx.legacy.mac.ucode_cmd	0
CAPPED_DATA	1	vring->size	1
NOCHECK_CALL
HOST_DATA	0	wil->mbox_ctl.tx.tail	0-u32max
NO_OVERFLOW_SIMPLE	1	vring->size
LOCK2		&pool->lock
LOCK2		&wil->mutex
TYPE_LOCK		(struct wil6210_priv)->mutex

drivers/net/wireless/ath/wil6210/main.c wil_ring_fini_tx() -> (struct wil_txrx_ops)->ring_fini_tx()

Type	Parameter	Key	Value
PARAM_VALUE	0	wil	4096-ptr_max
PARAM_VALUE	0	wil->ring_tx	4096-ptr_max
PARAM_VALUE	0	wil->ring_tx_data	4096-ptr_max
PARAM_VALUE	0	wil->status	4096-ptr_max
PARAM_VALUE	0	*wil->main_ndev->name	0-255
PARAM_VALUE	1	vring	4096-ptr_max
PARAM_VALUE	1	vring->va	1-u64max
DATA_SOURCE	0	wil	$0
CONTAINER	0	-16-28120+0	$(-1)
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA	0	wil->mbox_ctl.tx.tail	0-u32max
HALF_LOCKED2		&wil->mutex