Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/wireless/ath/ath9k/htc_drv_init.c ath9k_htc_disconnect_device() -> ath9k_destroy_wmi()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->ah 0
PARAM_VALUE 0 priv->hw 4096-ptr_max
PARAM_VALUE 0 priv->hw->wiphy 4096-ptr_max
PARAM_VALUE 0 priv->hw->wiphy->rfkill 4096-ptr_max
PARAM_VALUE 0 priv->hw->wiphy->rfkill->poll_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 priv->hw->wiphy->rfkill->polling_paused 1
PARAM_VALUE 0 priv->led_cdev->dev->driver_data->cis_virt (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 priv->led_cdev.blink_timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.blink_timer.flags 0-4194302
PARAM_VALUE 0 priv->led_cdev.blink_timer.lockdep_map->name 0-255
PARAM_VALUE 0 priv->led_cdev.dev->devres_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->callback->add 5235430000054906880
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->callback->early_resume 6956900869090054144
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->callback->remove 1719268733136482304
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->callback->requery 4713442613417914368
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->callback->resume 5068206944467017728
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->callback->suspend 2738892915008757760
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->callback->validate 4934365872137547776
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->cis_mem.flags 0,2-254
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->d_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->detaching.counter s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->dev.kobj.kref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->dev.kobj.release.cpu s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->dev.kobj.release.timer.flags 0-4294967295
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->dev.kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->dev.kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->dev.kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->dev.kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->dev.parent->kobj.release.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->dev.parent->kobj.release.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->dev.parent->kobj.release.wq->saved_min_active s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->device_count 0-1
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->ops_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->ops_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->ops_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->ops_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->ops_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->ops_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->sfd_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->sfd_lock.raw_lock.cnts.counter s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->skt_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->skt_mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->skt_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->skt_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->skt_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->skt_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->driver_data->skt_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->led_cdev.dev->kobj->release.timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.dev->kobj.entry.prev 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.dev->kobj.parent->release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.dev->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.dev->kobj.release.timer.is_hard 0-1
PARAM_VALUE 0 priv->led_cdev.dev->kobj.release.timer.is_lazy 0-1
PARAM_VALUE 0 priv->led_cdev.dev->kobj.release.timer.is_queued 0-1
PARAM_VALUE 0 priv->led_cdev.dev->kobj.release.timer.is_soft 0-1
PARAM_VALUE 0 priv->led_cdev.dev->kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.dev->p->dead 1
PARAM_VALUE 0 priv->led_cdev.dev->p->knode_class.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->p->knode_parent.n_ref.refcount.refs.counter s32min-s32max
PARAM_VALUE 0 priv->led_cdev.dev->parent->driver_data->lock.dep_map->name 0-255
PARAM_VALUE 0 priv->led_cdev.dev->parent->kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.dev->power.completion.done u32max
PARAM_VALUE 0 priv->led_cdev.dev->power.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.dev->power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.dev->power.last_status s32min-0,2,4-s32max
PARAM_VALUE 0 priv->led_cdev.dev->power.qos 0,(-19)
PARAM_VALUE 0 priv->led_cdev.dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 priv->led_cdev.dev->power.runtime_status 2
PARAM_VALUE 0 priv->led_cdev.dev->power.usage_count.counter 0-s32max
PARAM_VALUE 0 priv->led_cdev.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 priv->led_cdev.set_brightness_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.set_brightness_work.lockdep_map->name 0-255
PARAM_VALUE 0 priv->led_cdev.trig_list.next 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.trigger 0,4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.trigger->led_cdevs.prev 4096-ptr_max
PARAM_VALUE 0 priv->led_cdev.trigger_data->led_cdev->dev->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 priv->led_cdev.trigger_data->lock->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 priv->led_cdev.trigger_data->lock->wait_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 priv->led_cdev.trigger_data->net_dev->refcnt_tracker.quarantine_avail 0-4294967295
PARAM_VALUE 0 priv->led_cdev.trigger_data->net_dev->refcnt_tracker.untracked.refs.counter s32min-s32max
PARAM_VALUE 0 priv->led_cdev.trigger_data->timer.lockdep_map->name 0-255
PARAM_VALUE 0 priv->led_cdev.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 priv->led_cdev.trigger_lock.first_waiter->type 0-1
PARAM_VALUE 0 priv->led_cdev.trigger_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->led_work.lockdep_map->name 0-255
PARAM_VALUE 0 priv->wmi 4096-ptr_max
PARAM_VALUE 0 priv->wmi->op_mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 priv->wmi->op_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->wmi->stopped 1
PARAM_VALUE 0 *priv->ah->btcoex_hw.aic->aic_sram 0-4294967295
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 priv->ah->btcoex_hw.aic.aic_cal_start_time 0-u32max
HOST_DATA 0 priv->ah->btcoex_hw.mci.last_recovery 0-u32max

drivers/net/wireless/ath/ath9k/htc_drv_init.c ath9k_htc_probe_device() -> ath9k_destroy_wmi()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
PARAM_VALUE 0 priv->beacon_ep 0-21
PARAM_VALUE 0 priv->cab_ep 0-21
PARAM_VALUE 0 priv->data_be_ep 0-21
PARAM_VALUE 0 priv->data_bk_ep 0-21
PARAM_VALUE 0 priv->data_vi_ep 0-21
PARAM_VALUE 0 priv->data_vo_ep 0-21
PARAM_VALUE 0 priv->dev 4096-ptr_max
PARAM_VALUE 0 priv->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 priv->dev->class 0,4096-ptr_max
PARAM_VALUE 0 priv->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 priv->htc 4096-ptr_max
PARAM_VALUE 0 priv->htc->cmd_wait.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 priv->htc->cmd_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 priv->htc->cmd_wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->htc->cmd_wait.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 priv->htc->credits 33,45
PARAM_VALUE 0 priv->htc->dev 4096-ptr_max
PARAM_VALUE 0 priv->htc->endpoint 4096-ptr_max
PARAM_VALUE 0 priv->htc->hif 2638025736792829952
PARAM_VALUE 0 priv->htc->hif_dev 4096-ptr_max
PARAM_VALUE 0 priv->htc->hif_dev->htc_handle->cmd_wait.done 0-4294967295
PARAM_VALUE 0 priv->htc->hif_dev->htc_handle->drv_priv->debug.tx_stats.buf_queued 0-4294967295
PARAM_VALUE 0 priv->htc->hif_dev->htc_handle->drv_priv->debug.tx_stats.skb_failed 0-4294967295
PARAM_VALUE 0 priv->htc->hif_dev->htc_handle->drv_priv->debug.tx_stats.skb_queued 0-4294967295
PARAM_VALUE 0 priv->htc->hif_dev->htc_handle->htc_flags 0-255
PARAM_VALUE 0 priv->htc->hif_dev->tx.tx_buf_cnt 0-255
PARAM_VALUE 0 priv->htc->hif_dev->tx.tx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 priv->htc->hif_dev->tx.tx_skb_cnt 0-u16max
PARAM_VALUE 0 priv->htc->hif_dev->tx.tx_skb_queue.qlen 0-4294967295
PARAM_VALUE 0 priv->htc->target_wait.done 0-4294967293,u32max
PARAM_VALUE 0 priv->htc->target_wait.wait.lock.owner (-1)
PARAM_VALUE 0 priv->htc->target_wait.wait.lock.owner_cpu u32max
PARAM_VALUE 0 priv->htc->target_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 priv->hw 4096-ptr_max
PARAM_VALUE 0 priv->mgmt_ep 0-21
PARAM_VALUE 0 priv->uapsd_ep 0-21
PARAM_VALUE 0 priv->wmi 4096-ptr_max
PARAM_VALUE 0 priv->wmi->cmd_wait.done 0-4294967293,u32max
PARAM_VALUE 0 priv->wmi->cmd_wait.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 priv->wmi->cmd_wait.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 priv->wmi->cmd_wait.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->wmi->cmd_wait.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->wmi->ctrl_epid 0-21
PARAM_VALUE 0 priv->wmi->drv_priv 4096-ptr_max
PARAM_VALUE 0 priv->wmi->drv_priv->dev 4096-ptr_max
PARAM_VALUE 0 priv->wmi->drv_priv->htc 4096-ptr_max
PARAM_VALUE 0 priv->wmi->drv_priv->hw 4096-ptr_max
PARAM_VALUE 0 priv->wmi->htc 4096-ptr_max
PARAM_VALUE 0 priv->wmi->multi_rmw_mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->wmi->multi_rmw_mutex.first_waiter 0
PARAM_VALUE 0 priv->wmi->multi_rmw_mutex.magic 4096-ptr_max
PARAM_VALUE 0 priv->wmi->multi_write_mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->wmi->multi_write_mutex.magic 4096-ptr_max
PARAM_VALUE 0 priv->wmi->op_mutex.dep_map->name 0-255
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 priv->wmi->op_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 priv->wmi->op_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 priv->wmi->pending_tx_events.next 4096-ptr_max
PARAM_VALUE 0 priv->wmi->pending_tx_events.next->next 4096-ptr_max
PARAM_VALUE 0 priv->wmi->pending_tx_events.prev 4096-ptr_max
PARAM_VALUE 0 priv->wmi->pending_tx_events.prev->next 4096-ptr_max
PARAM_VALUE 0 priv->wmi->pending_tx_events.prev->prev 4096-ptr_max
PARAM_VALUE 0 priv->wmi->stopped 1
PARAM_VALUE 0 priv->wmi->wmi_event_queue.next 4096-ptr_max
PARAM_VALUE 0 priv->wmi->wmi_event_queue.prev 4096-ptr_max
PARAM_VALUE 0 priv->wmi->wmi_event_queue.qlen 0
PARAM_VALUE 0 priv->wmi->wmi_event_tasklet.data 0
PARAM_VALUE 0 priv->wmi->wmi_event_tasklet.next 0
PARAM_VALUE 0 priv->wmi->wmi_event_tasklet.state 0
PARAM_VALUE 0 priv->wmi->wmi_event_tasklet.use_callback 1
PARAM_VALUE 0 priv->wmi_cmd_ep 0-21
PARAM_VALUE 0 *priv->hw->wiphy->fw_version 0-255
PARAM_VALUE 0 *priv->hwq_map s32min-s32max
BUF_SIZE 0 priv->htc 1312
BUF_SIZE 0 priv->hw 208
BUF_SIZE 0 priv->wmi 1600
NOCHECK_CALL
HOST_DATA 0 priv->ah->btcoex_hw.aic.aic_cal_start_time 0-u32max
HOST_DATA 0 priv->ah->btcoex_hw.mci.last_recovery 0-u32max
HALF_LOCKED2 &pool->lock