ath6kl_rx_refill identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/net/wireless/ath/ath6kl/core.h, line 923 (as a prototype)

Defined in 1 files as a function:

drivers/net/wireless/ath/ath6kl/txrx.c, line 874 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/net/wireless/ath/ath6kl/core.c ath6kl_core_init() -> ath6kl_rx_refill()

Type	Parameter	Key	Value
PARAM_VALUE	0	target	4096-ptr_max
PARAM_VALUE	0	target->cred_dist_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	target->credit_info	4096-ptr_max
PARAM_VALUE	0	target->credit_info->total_avail_credits	0-u16max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_completion.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_completion.wait.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_queue.next	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_queue.prev	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_queue.prev->next->next	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_queue.qlen	0-20
PARAM_VALUE	0	target->dev->ar->fw_recovery.recovery_work.entry.next	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->fw_recovery.recovery_work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->hif_priv->dma_buffer_mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	target->dev->ar->hif_priv->dma_buffer_mutex.dep_map->name	0-255
PARAM_VALUE	0	target->dev->ar->hif_priv->dma_buffer_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->claim_cnt	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->cqe_on	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->doing_retune	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->hold_retune	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->led->brightness	0-4294967295
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->need_retune	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->parent->dma_uses_io_tlb	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->cookie	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->cookie_sg_count	(-22),0-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->dma_len	1-4294967295
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->next_data.cookie	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->next_data.dma_len	0-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->sg_count	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->retune_now	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->sdio_irqs	0-4294967295
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->uhs2_app_cmd	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->func->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->dev->ar->hif_priv->scat_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->dev->ar->hif_priv->wr_async_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->dev->irq_en_reg.cntr_int_status_en	1
PARAM_VALUE	0	target->dev->irq_en_reg.err_int_status_en	3
PARAM_VALUE	0	target->dev->irq_en_reg.int_status_en	209
PARAM_VALUE	0	target->dev->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->free_ctrl_rxbuf.prev->next	4096-ptr_max
PARAM_VALUE	0	target->free_ctrl_rxbuf.prev->next->next	4096-ptr_max
PARAM_VALUE	0	target->free_ctrl_txbuf.prev	4096-ptr_max
PARAM_VALUE	0	target->free_ctrl_txbuf.prev->next	4096-ptr_max
PARAM_VALUE	0	target->free_ctrl_txbuf.prev->next->next	4096-ptr_max
PARAM_VALUE	0	target->htc_flags	0
PARAM_VALUE	0	target->htc_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->max_tx_bndl_sz	s32min-12288
PARAM_VALUE	0	target->msg_per_bndl_max	s32min-8
PARAM_VALUE	0	target->rx_bndl_enable	1
PARAM_VALUE	0	target->rx_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->rx_st_flags	0,2-u32max
PARAM_VALUE	0	target->tgt_cred_sz	0-u16max
PARAM_VALUE	0	target->tgt_creds	0-u16max
PARAM_VALUE	0	*target->ac_tx_count	0-4294967295
PARAM_VALUE	0	*target->dev->ar->hif_priv->diag_resp_buffer	0-255
PARAM_VALUE	0	*target->dev->ar->hif_priv->dma_buffer	0-255
PARAM_VALUE	1	endpoint	0-8
BUF_SIZE	0	target	3624
DATA_SOURCE	0	target	r ath6kl_htc_create
PARAM_COMPARE	0	&target->free_ctrl_txbuf	!= $0->free_ctrl_txbuf.next
MEM_ZERO	0	&target->dev->irq_proc_reg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/ath/ath6kl/core.c ath6kl_core_init() -> ath6kl_rx_refill()

Type	Parameter	Key	Value
PARAM_VALUE	0	target	4096-ptr_max
PARAM_VALUE	0	target->cred_dist_list.prev->next->next	4096-ptr_max
PARAM_VALUE	0	target->credit_info	4096-ptr_max
PARAM_VALUE	0	target->credit_info->total_avail_credits	0-u16max
PARAM_VALUE	0	target->dev	4096-ptr_max
PARAM_VALUE	0	target->dev->ar	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_completion.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_completion.wait.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_queue.next	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_queue.prev	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_queue.prev->next->next	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->debug.fwlog_queue.qlen	0-20
PARAM_VALUE	0	target->dev->ar->fw_recovery.recovery_work.entry.next	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->fw_recovery.recovery_work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->hif_priv->dma_buffer_mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	target->dev->ar->hif_priv->dma_buffer_mutex.dep_map->name	0-255
PARAM_VALUE	0	target->dev->ar->hif_priv->dma_buffer_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->claim_cnt	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->cqe_on	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->doing_retune	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->hold_retune	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->led->brightness	0-4294967295
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->need_retune	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->parent->dma_uses_io_tlb	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->cookie	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->cookie_sg_count	(-22),0-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->dma_len	1-4294967295
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->next_data.cookie	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->next_data.dma_len	0-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->private->sg_count	s32min-s32max
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->retune_now	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->sdio_irqs	0-4294967295
PARAM_VALUE	0	target->dev->ar->hif_priv->func->card->host->uhs2_app_cmd	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->func->dev.iommu->attach_deferred	0-1
PARAM_VALUE	0	target->dev->ar->hif_priv->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->dev->ar->hif_priv->scat_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->dev->ar->hif_priv->wr_async_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->dev->ar->htc_target	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->htc_target->dev	4096-ptr_max
PARAM_VALUE	0	target->dev->ar->htc_target->rx_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->dev->irq_en_reg.cntr_int_status_en	1
PARAM_VALUE	0	target->dev->irq_en_reg.err_int_status_en	3
PARAM_VALUE	0	target->dev->irq_en_reg.int_status_en	209
PARAM_VALUE	0	target->dev->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->free_ctrl_rxbuf.prev->next	4096-ptr_max
PARAM_VALUE	0	target->free_ctrl_rxbuf.prev->next->next	4096-ptr_max
PARAM_VALUE	0	target->free_ctrl_txbuf.prev	4096-ptr_max
PARAM_VALUE	0	target->free_ctrl_txbuf.prev->next	4096-ptr_max
PARAM_VALUE	0	target->free_ctrl_txbuf.prev->next->next	4096-ptr_max
PARAM_VALUE	0	target->htc_flags	0
PARAM_VALUE	0	target->htc_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->max_tx_bndl_sz	s32min-12288
PARAM_VALUE	0	target->msg_per_bndl_max	s32min-8
PARAM_VALUE	0	target->rx_bndl_enable	1
PARAM_VALUE	0	target->rx_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	target->rx_st_flags	0,2-u32max
PARAM_VALUE	0	target->tgt_cred_sz	0-u16max
PARAM_VALUE	0	target->tgt_creds	0-u16max
PARAM_VALUE	0	*target->ac_tx_count	0-4294967295
PARAM_VALUE	0	*target->dev->ar->hif_priv->diag_resp_buffer	0-255
PARAM_VALUE	0	*target->dev->ar->hif_priv->dma_buffer	0-255
BUF_SIZE	0	target	3624
DATA_SOURCE	0	target	r ath6kl_htc_create
PARAM_COMPARE	0	&target->free_ctrl_txbuf	!= $0->free_ctrl_txbuf.next
MEM_ZERO	0	&target->dev->irq_proc_reg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/ath/ath6kl/htc_mbox.c ath6kl_htc_rx_chk_water_mark() -> (struct htc_ep_callbacks)->rx_refill()

Type	Parameter	Key	Value
PARAM_VALUE	0	target	4096-ptr_max
PARAM_VALUE	0	target->rx_lock.rlock.dep_map->name	0-255
CAPPED_DATA	1	endpoint	1
RX_PATH
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

drivers/net/wireless/ath/ath6kl/htc_mbox.c ath6kl_htc_rx_setup() -> (struct htc_ep_callbacks)->rx_refill()

Type	Parameter	Key	Value
PARAM_VALUE	1	endpoint	0-8
CAPPED_DATA	1	endpoint	1
RX_PATH
NOCHECK_CALL