mwl8k_rxq_deinit identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/net/wireless/marvell/mwl8k.c, line 1252 (as a function)

Referenced in 1 files:

drivers/net/wireless/marvell/mwl8k.c

Smatch caller information:

drivers/net/wireless/marvell/mwl8k.c mwl8k_firmware_load_success() -> mwl8k_rxq_deinit()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->flags	4096-ptr_max
PARAM_VALUE	0	hw->priv->ap_fw	0-1
PARAM_VALUE	0	hw->priv->ap_macids_supported	0,255
PARAM_VALUE	0	hw->priv->band_24.band	0
PARAM_VALUE	0	hw->priv->band_24.ht_cap.ampdu_density	0
PARAM_VALUE	0	hw->priv->band_24.ht_cap.ampdu_factor	3
PARAM_VALUE	0	hw->priv->band_24.ht_cap.cap	0-u16max
PARAM_VALUE	0	hw->priv->band_24.ht_cap.ht_supported	1
PARAM_VALUE	0	hw->priv->band_24.ht_cap.mcs.tx_params	1,3,7-127,255
PARAM_VALUE	0	hw->priv->band_24.n_bitrates	13
PARAM_VALUE	0	hw->priv->band_24.n_channels	14
PARAM_VALUE	0	hw->priv->band_50.band	1
PARAM_VALUE	0	hw->priv->band_50.ht_cap.ampdu_density	0
PARAM_VALUE	0	hw->priv->band_50.ht_cap.ampdu_factor	3
PARAM_VALUE	0	hw->priv->band_50.ht_cap.cap	0-u16max
PARAM_VALUE	0	hw->priv->band_50.ht_cap.ht_supported	1
PARAM_VALUE	0	hw->priv->band_50.ht_cap.mcs.tx_params	1,3,7-127,255
PARAM_VALUE	0	hw->priv->band_50.n_bitrates	8
PARAM_VALUE	0	hw->priv->band_50.n_channels	9
PARAM_VALUE	0	hw->priv->caps	0-4294967295
PARAM_VALUE	0	hw->priv->channels_24->band	0-4294967295
PARAM_VALUE	0	hw->priv->channels_24->beacon_found	0-1
PARAM_VALUE	0	hw->priv->channels_24->center_freq	0-4294967295
PARAM_VALUE	0	hw->priv->channels_24->dfs_cac_ms	0-4294967295
PARAM_VALUE	0	hw->priv->channels_24->dfs_state	0-4294967295
PARAM_VALUE	0	hw->priv->channels_24->flags	0-4294967295
PARAM_VALUE	0	hw->priv->channels_24->freq_offset	0-u16max
PARAM_VALUE	0	hw->priv->channels_24->hw_value	0-u16max
PARAM_VALUE	0	hw->priv->channels_24->max_antenna_gain	s32min-s32max
PARAM_VALUE	0	hw->priv->channels_24->max_power	s32min-s32max
PARAM_VALUE	0	hw->priv->channels_24->max_reg_power	s32min-s32max
PARAM_VALUE	0	hw->priv->channels_24->orig_flags	0-4294967295
PARAM_VALUE	0	hw->priv->channels_24->orig_mag	s32min-s32max
PARAM_VALUE	0	hw->priv->channels_24->orig_mpwr	s32min-s32max
PARAM_VALUE	0	hw->priv->channels_24->psd	(-128)-127
PARAM_VALUE	0	hw->priv->channels_50->band	0-4294967295
PARAM_VALUE	0	hw->priv->channels_50->beacon_found	0-1
PARAM_VALUE	0	hw->priv->channels_50->center_freq	0-4294967295
PARAM_VALUE	0	hw->priv->channels_50->dfs_cac_ms	0-4294967295
PARAM_VALUE	0	hw->priv->channels_50->dfs_state	0-4294967295
PARAM_VALUE	0	hw->priv->channels_50->flags	0-4294967295
PARAM_VALUE	0	hw->priv->channels_50->freq_offset	0-u16max
PARAM_VALUE	0	hw->priv->channels_50->hw_value	0-u16max
PARAM_VALUE	0	hw->priv->channels_50->max_antenna_gain	s32min-s32max
PARAM_VALUE	0	hw->priv->channels_50->max_power	s32min-s32max
PARAM_VALUE	0	hw->priv->channels_50->max_reg_power	s32min-s32max
PARAM_VALUE	0	hw->priv->channels_50->orig_flags	0-4294967295
PARAM_VALUE	0	hw->priv->channels_50->orig_mag	s32min-s32max
PARAM_VALUE	0	hw->priv->channels_50->orig_mpwr	s32min-s32max
PARAM_VALUE	0	hw->priv->channels_50->psd	(-128)-127
PARAM_VALUE	0	hw->priv->fw_rev	0-4294967295
PARAM_VALUE	0	hw->priv->fw_ucode	4096-ptr_max
PARAM_VALUE	0	hw->priv->hw_rev	0-255
PARAM_VALUE	0	hw->priv->num_ampdu_queues	0-255
PARAM_VALUE	0	hw->priv->num_mcaddrs	0-u16max
PARAM_VALUE	0	hw->priv->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hw->priv->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hw->priv->pdev->dev.cma_area->alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hw->priv->pdev->dev.dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	hw->priv->pending_tx_pkts	s32min-s32max
PARAM_VALUE	0	hw->priv->rates_24->bitrate	0-u16max
PARAM_VALUE	0	hw->priv->rates_24->flags	0-4294967295
PARAM_VALUE	0	hw->priv->rates_24->hw_value	0-u16max
PARAM_VALUE	0	hw->priv->rates_24->hw_value_short	0-u16max
PARAM_VALUE	0	hw->priv->rates_50->bitrate	0-u16max
PARAM_VALUE	0	hw->priv->rates_50->flags	0-4294967295
PARAM_VALUE	0	hw->priv->rates_50->hw_value	0-u16max
PARAM_VALUE	0	hw->priv->rates_50->hw_value_short	0-u16max
PARAM_VALUE	0	hw->priv->rxd_ops	0,3999948224191668224,6083185854355312640
PARAM_VALUE	0	hw->priv->rxd_ops->rxd_init	1718567773988511744,4420218625631059968
PARAM_VALUE	0	hw->priv->rxd_ops->rxd_process	6666219143873671168,8395472385903292416
PARAM_VALUE	0	hw->priv->rxd_ops->rxd_refill	6638232119196807168,7853093525873049600
PARAM_VALUE	0	hw->priv->rxd_ops->rxd_size	32,40
PARAM_VALUE	0	hw->priv->sniffer_enabled	0
PARAM_VALUE	0	hw->priv->sta_macids_supported	1,256
PARAM_VALUE	0	hw->priv->wmm_enabled	0
PARAM_VALUE	0	*hw->priv->txq_offset	0-u16max
PARAM_VALUE	0	*hw->wiphy->perm_addr	0-255
PARAM_VALUE	1	index	0
BUF_SIZE	0	hw->wiphy->iface_combinations	(-1),24
NOCHECK_CALL
HALF_LOCKED2		&pool->lock

drivers/net/wireless/marvell/mwl8k.c mwl8k_probe_hw() -> mwl8k_rxq_deinit()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->priv	4096-ptr_max
PARAM_VALUE	0	hw->priv->ap_fw	0-1
PARAM_VALUE	0	hw->priv->pdev	4096-ptr_max
PARAM_VALUE	0	hw->priv->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	hw->priv->pdev->dev.cma_area->alloc_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	hw->priv->pdev->dev.cma_area->alloc_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	hw->priv->pdev->dev.cma_area->nranges	s32min-s32max
PARAM_VALUE	0	hw->priv->pdev->dev.dma_mem->spinlock.rlock.dep_map->name	0-255
PARAM_VALUE	0	hw->priv->rxd_ops	4096-ptr_max
PARAM_VALUE	0	hw->priv->rxd_ops->rxd_size	32,40
PARAM_VALUE	0	hw->queues	0-64
PARAM_VALUE	1	index	0
CAPPED_DATA	0	hw	1
CAPPED_DATA	0	hw->queues	1
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	hw	unit_byte

drivers/net/wireless/marvell/mwl8k.c mwl8k_reload_firmware() -> mwl8k_rxq_deinit()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->priv	4096-ptr_max
PARAM_VALUE	0	hw->priv->beacon_skb->extensions->refcnt.refs.counter	s32min-s32max
PARAM_VALUE	0	hw->priv->beacon_skb->pp_recycle	0-1
PARAM_VALUE	0	hw->priv->beacon_skb->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	hw->priv->beacon_skb->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	hw->priv->beacon_skb->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	hw->priv->beacon_skb->sk->sk_callback_lock.owner	(-1)
PARAM_VALUE	0	hw->priv->beacon_skb->sk->sk_callback_lock.owner_cpu	4294967295
PARAM_VALUE	0	hw->priv->beacon_skb->sk->sk_owner->refcnt.counter	0-s32max
PARAM_VALUE	0	hw->priv->beacon_skb->sk->sk_prot_creator->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	hw->priv->beacon_skb->users.refs.counter	s32min-s32max
PARAM_VALUE	0	hw->priv->finalize_join_worker.lockdep_map->name	0-255
PARAM_VALUE	0	hw->priv->fw_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	hw->priv->fw_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	hw->priv->fw_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	hw->priv->fw_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	hw->priv->fw_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	hw->priv->fw_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	hw->priv->fw_mutex_depth	s32min-s32max
PARAM_VALUE	0	hw->priv->irq	(-1)
PARAM_VALUE	0	hw->priv->pending_tx_pkts	s32min-s32max
PARAM_VALUE	0	hw->priv->poll_rx_task.count.counter	s32min-s32max
PARAM_VALUE	0	hw->priv->poll_tx_task.count.counter	s32min-s32max
PARAM_VALUE	0	hw->priv->radio_on	0-1
PARAM_VALUE	0	hw->priv->watchdog_ba_handle.lockdep_map->name	0-255
PARAM_VALUE	0	hw->queues	0-64
PARAM_VALUE	0	*hw->priv->beacon_skb->sk->sk_callback_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	1	index	0
CAPPED_DATA	0	hw	1
CAPPED_DATA	0	hw->priv->beacon_skb	1
CAPPED_DATA	0	hw->queues	1
DATA_SOURCE	0	hw	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	hw	unit_byte

drivers/net/wireless/marvell/mwl8k.c mwl8k_remove() -> mwl8k_rxq_deinit()

Type	Parameter	Key	Value
PARAM_VALUE	0	hw	4096-ptr_max
PARAM_VALUE	0	hw->priv	4096-ptr_max
PARAM_VALUE	0	hw->priv->pending_tx_pkts	s32min-s32max
PARAM_VALUE	0	hw->queues	0-64
PARAM_VALUE	1	index	0
BUF_SIZE	0	hw	s32min-(-2),1-s32max
BUF_SIZE	0	hw	s32min-(-2),1-s32max
CAPPED_DATA	0	hw->queues	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS	0	hw	unit_byte