ath6kl_core_destroy 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 983 (as a prototype)

Defined in 1 files as a function:

drivers/net/wireless/ath/ath6kl/core.c, line 359 (as a function)

Referenced in 3 files:

Smatch caller information:

drivers/net/wireless/ath/ath6kl/core.c ath6kl_core_create() -> ath6kl_core_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	ar	4096-ptr_max
PARAM_VALUE	0	ar->amsdu_rx_buffer_queue.next	4096-ptr_max
PARAM_VALUE	0	ar->amsdu_rx_buffer_queue.next->next	4096-ptr_max
PARAM_VALUE	0	ar->amsdu_rx_buffer_queue.prev	4096-ptr_max
PARAM_VALUE	0	ar->amsdu_rx_buffer_queue.prev->next	4096-ptr_max
PARAM_VALUE	0	ar->amsdu_rx_buffer_queue.prev->prev	4096-ptr_max
PARAM_VALUE	0	ar->dev	4096-ptr_max
PARAM_VALUE	0	ar->event_wq.head.next	4096-ptr_max
PARAM_VALUE	0	ar->event_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	ar->event_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	ar->event_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	ar->event_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	ar->intra_bss	1
PARAM_VALUE	0	ar->lrssi_roam_threshold	20
PARAM_VALUE	0	ar->max_norm_iface	1
PARAM_VALUE	0	ar->sta_list	4096-ptr_max
PARAM_VALUE	0	ar->state	0
PARAM_VALUE	0	ar->tx_pwr	0
PARAM_VALUE	0	ar->vif_list.next	4096-ptr_max
PARAM_VALUE	0	ar->vif_list.next->next	4096-ptr_max
PARAM_VALUE	0	ar->vif_list.prev	4096-ptr_max
PARAM_VALUE	0	ar->vif_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ar->vif_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ar->vif_max	1
PARAM_VALUE	0	ar->wiphy	4096-ptr_max
BUF_SIZE	0	ar	0-7690816
BUF_SIZE	0	ar	0-7690816
DATA_SOURCE	0	ar	r ath6kl_cfg80211_create
MEM_ZERO	0	ar->sta_list
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/ath/ath6kl/usb.c ath6kl_usb_probe() -> ath6kl_core_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	ar	4096-ptr_max
PARAM_VALUE	0	ar->amsdu_rx_buffer_queue.next->next	4096-ptr_max
PARAM_VALUE	0	ar->amsdu_rx_buffer_queue.prev->next	4096-ptr_max
PARAM_VALUE	0	ar->amsdu_rx_buffer_queue.prev->prev	4096-ptr_max
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.act_len	0-4294967295
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.buf_len	0-4294967295
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.endpoint	s32min-s32max
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.info.rx.exp_hdr	0-4294967295
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.info.rx.indicat_flags	0-4294967295
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.info.rx.rx_flags	0-4294967295
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.info.tx.cred_used	s32min-s32max
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.info.tx.flags	0-255
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.info.tx.seqno	s32min-s32max
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.info.tx.tag	0-u16max
PARAM_VALUE	0	ar->cookie_mem->htc_pkt.status	s32min-s32max
PARAM_VALUE	0	ar->cookie_mem->map_no	0-256
PARAM_VALUE	0	ar->event_wq.head.next->next	4096-ptr_max
PARAM_VALUE	0	ar->event_wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	ar->event_wq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	ar->htc_ops->activity_changed	2829545212806377472,8399943371444596736
PARAM_VALUE	0	ar->htc_ops->add_rxbuf_multiple	7584411294536187904,8770697159239303168
PARAM_VALUE	0	ar->htc_ops->cleanup	2249855796649463808,3870195269393059840
PARAM_VALUE	0	ar->htc_ops->conn_service	4247658541017591808,5079594198842408960
PARAM_VALUE	0	ar->htc_ops->create	397735338448683008,2692665543448981504
PARAM_VALUE	0	ar->htc_ops->credit_setup	36861087855554560,8982172291932577792
PARAM_VALUE	0	ar->htc_ops->flush_rx_buf	5237574658988089344,6430991008851415040
PARAM_VALUE	0	ar->htc_ops->flush_txep	254059675541798912,1956738209066549248
PARAM_VALUE	0	ar->htc_ops->get_rxbuf_num	1298503613353574400,7064309310518534144
PARAM_VALUE	0	ar->htc_ops->rx_complete	0,4768016739263680512
PARAM_VALUE	0	ar->htc_ops->start	6475242029167411200,6991675705301278720
PARAM_VALUE	0	ar->htc_ops->stop	5792858099572133888,8406435221943382016
PARAM_VALUE	0	ar->htc_ops->tx	1138477239568023552,4127401194477993984
PARAM_VALUE	0	ar->htc_ops->tx_complete	0,4619359720265453568
PARAM_VALUE	0	ar->htc_ops->wait_target	1809070194451931136,3567442688655327232
PARAM_VALUE	0	ar->sta_list	4096-ptr_max
PARAM_VALUE	0	ar->vif_list.next->next	4096-ptr_max
PARAM_VALUE	0	ar->vif_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ar->vif_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ar->wmi->parent_dev->cookie_list->map_no	0-256
PARAM_VALUE	0	*ar->ac2ep_map	s32min-s32max
PARAM_VALUE	0	*ar->htc_target->ac_tx_count	0-4294967295
BUF_SIZE	0	ar	0-7690816
BUF_SIZE	0	ar	0-7690816
BUF_SIZE	0	ar->dev	(-1),1616
BUF_SIZE	0	ar->hif_ops	(-1),176
BUF_SIZE	0	ar->hif_priv	(-1),3512
DATA_SOURCE	0	ar	r ath6kl_core_create
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/ath/ath6kl/sdio.c ath6kl_sdio_probe() -> ath6kl_core_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	ar	4096-ptr_max
PARAM_VALUE	0	ar->amsdu_rx_buffer_queue.next	4096-ptr_max
PARAM_VALUE	0	ar->amsdu_rx_buffer_queue.prev	4096-ptr_max
PARAM_VALUE	0	ar->dev	4096-ptr_max
PARAM_VALUE	0	ar->event_wq.head.next	4096-ptr_max
PARAM_VALUE	0	ar->event_wq.head.prev	4096-ptr_max
PARAM_VALUE	0	ar->intra_bss	1
PARAM_VALUE	0	ar->lrssi_roam_threshold	20
PARAM_VALUE	0	ar->max_norm_iface	1
PARAM_VALUE	0	ar->mcastpsq.next	4096-ptr_max
PARAM_VALUE	0	ar->mcastpsq.prev	4096-ptr_max
PARAM_VALUE	0	ar->mcastpsq.qlen	0
PARAM_VALUE	0	ar->state	0
PARAM_VALUE	0	ar->tx_pwr	0
PARAM_VALUE	0	ar->vif_list.next	4096-ptr_max
PARAM_VALUE	0	ar->vif_list.prev	4096-ptr_max
PARAM_VALUE	0	ar->vif_max	1
PARAM_VALUE	0	ar->wiphy	4096-ptr_max
BUF_SIZE	0	ar	0-7690816
BUF_SIZE	0	ar	0-7690816
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/wireless/ath/ath6kl/sdio.c ath6kl_sdio_remove() -> ath6kl_core_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	ar	4096-ptr_max
PARAM_VALUE	0	ar->ath6kl_wq	4096-ptr_max
PARAM_VALUE	0	ar->ath6kl_wq->flags	0-4294967295
PARAM_VALUE	0	ar->ath6kl_wq->flush_color	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->nr_drainers	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->nr_pwqs_to_flush.counter	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->work_color	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->cdev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->device_count	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->ops_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->ops_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->skt_mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.kobj.parent->release.timer.is_hard	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.kobj.parent->release.timer.is_lazy	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.kobj.parent->release.timer.is_queued	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.kobj.parent->release.timer.is_soft	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.p->dead	1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.p->knode_class.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.p->knode_parent.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.parent->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.parent->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.parent->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.parent->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.power.completion.done	4294967295
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.power.last_status	s32min-0,2,4-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.power.qos	(-19),0
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.power.runtime_error	s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.power.runtime_status	2
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.power.usage_count.counter	0-s32max
PARAM_VALUE	0	ar->ath6kl_wq->wq_dev->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ar->bmi.cmd_buf	0
PARAM_VALUE	0	ar->cookie_count	0
PARAM_VALUE	0	ar->cookie_list	0
PARAM_VALUE	0	ar->debug.fwlog_completion.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	ar->debug.fwlog_completion.wait.lock.owner	(-1)
PARAM_VALUE	0	ar->debug.fwlog_completion.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	ar->debug.fwlog_queue.next->prev	2011684551238094848
PARAM_VALUE	0	ar->debug.fwlog_queue.prev->next	2011684551238094848
PARAM_VALUE	0	ar->fw_recovery.recovery_work.lockdep_map->name	0-255
PARAM_VALUE	0	ar->hif_ops	4096-ptr_max
PARAM_VALUE	0	ar->hif_ops->power_off	4096-ptr_max
PARAM_VALUE	0	ar->hif_priv->func->card->host->claim_cnt	s32min-s32max
PARAM_VALUE	0	ar->hif_priv->func->card->host->cqe_on	0-1
PARAM_VALUE	0	ar->hif_priv->func->card->host->doing_retune	0-1
PARAM_VALUE	0	ar->hif_priv->func->card->host->fail_mmc_request.ratelimit_state.flags	0-4294967295
PARAM_VALUE	0	ar->hif_priv->func->card->host->fail_mmc_request.ratelimit_state.missed.counter	s32min-s32max
PARAM_VALUE	0	ar->hif_priv->func->card->host->fail_mmc_request.space.counter	s32min-s32max
PARAM_VALUE	0	ar->hif_priv->func->card->host->fail_mmc_request.times.counter	s32min-s32max
PARAM_VALUE	0	ar->hif_priv->func->card->host->hold_retune	s32min-s32max
PARAM_VALUE	0	ar->hif_priv->func->card->host->led->brightness	0-4294967295
PARAM_VALUE	0	ar->hif_priv->func->card->host->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ar->hif_priv->func->card->host->need_retune	s32min-s32max
PARAM_VALUE	0	ar->hif_priv->func->card->host->ongoing_mrq->cmd_completion.wait.lock.owner	(-1)
PARAM_VALUE	0	ar->hif_priv->func->card->host->ongoing_mrq->cmd_completion.wait.lock.owner_cpu	4294967295
PARAM_VALUE	0	ar->hif_priv->func->card->host->ongoing_mrq->uhs2_cmd.packet_len	0,4-12
PARAM_VALUE	0	ar->hif_priv->func->card->host->ongoing_mrq->uhs2_cmd.payload_len	0-8
PARAM_VALUE	0	ar->hif_priv->func->card->host->ongoing_mrq->uhs2_cmd.tmode_half_duplex	0-1
PARAM_VALUE	0	ar->hif_priv->func->card->host->ongoing_mrq->uhs2_cmd.uhs2_resp_len	0,4-6,8
PARAM_VALUE	0	ar->hif_priv->func->card->host->retune_now	0-1
PARAM_VALUE	0	ar->hif_priv->func->card->host->uhs2_app_cmd	0-1
PARAM_VALUE	0	ar->hif_priv->is_disabled	1
PARAM_VALUE	0	ar->hif_priv->wq->first_flusher->done.done	0-4294967295
PARAM_VALUE	0	ar->hif_priv->wq->first_flusher->done.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	ar->hif_priv->wq->first_flusher->done.wait.lock.owner	(-1)
PARAM_VALUE	0	ar->hif_priv->wq->first_flusher->done.wait.lock.owner_cpu	4294967295
PARAM_VALUE	0	ar->hif_priv->wq->flush_color	s32min-s32max
PARAM_VALUE	0	ar->hif_priv->wq->flusher_overflow.prev->next	2906673126597898240
PARAM_VALUE	0	ar->hif_priv->wq->flusher_queue.prev->next	2906673126597898240
PARAM_VALUE	0	ar->hif_priv->wq->nr_pwqs_to_flush.counter	s32min-s32max
PARAM_VALUE	0	ar->hif_priv->wq->work_color	s32min-s32max
PARAM_VALUE	0	ar->htc_target	0,4096-ptr_max
PARAM_VALUE	0	ar->htc_target->dev->ar->hif_priv->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ar->htc_target->dev->ar->hif_priv->scat_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ar->htc_target->rx_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ar->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ar->sem.first_waiter->list.next	5349227543279349760
PARAM_VALUE	0	ar->sem.first_waiter->list.prev	5349227543279349760
PARAM_VALUE	0	ar->sem.first_waiter->list.prev->next	5349227543279349760
PARAM_VALUE	0	ar->sem.first_waiter->up	0-1
PARAM_VALUE	0	ar->sem.lock.dep_map->name	0-255
PARAM_VALUE	0	ar->sem.lock.owner	(-1)
PARAM_VALUE	0	ar->sem.lock.owner_cpu	u32max
PARAM_VALUE	0	ar->wiphy	4096-ptr_max
PARAM_VALUE	0	ar->wiphy_registered	0
PARAM_VALUE	0	*ar->ath6kl_wq->lockdep_map->name	0-255
PARAM_VALUE	0	*ar->ath6kl_wq->rescuer->task->delays->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ar->hif_priv->func->card->host->fail_mmc_request.ratelimit_state.lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ar->hif_priv->func->card->host->ongoing_mrq->cmd_completion.wait.lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ar->hif_priv->wq->lockdep_map->name	0-255
CAPPED_DATA	0	ar->debug.roam_tbl	1
CAPPED_DATA	0	ar->fw	1
CAPPED_DATA	0	ar->fw_board	1
CAPPED_DATA	0	ar->fw_otp	1
CAPPED_DATA	0	ar->fw_patch	1
CAPPED_DATA	0	ar->fw_testscript	1
CAPPED_DATA	0	ar->htc_target	1
CAPPED_DATA	0	ar->wiphy	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&dev->mutex