Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ufs/core/ufshcd.c ufshcd_remove() -> ufshcd_hba_exit()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->bsg_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->bsg_queue 0
PARAM_VALUE 0 hba->dev->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 hba->host->pseudo_sdev->sdev_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 hba->host->pseudo_sdev->sdev_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->host->pseudo_sdev->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->host->shost_dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->host->shost_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->hwmon_device 0
PARAM_VALUE 0 hba->is_irq_enabled 1
PARAM_VALUE 0 hba->tmf_queue 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->callback_head.func 1-u64max
PARAM_VALUE 0 hba->tmf_queue->callback_head.next 0
PARAM_VALUE 0 hba->tmf_queue->mq_freeze_lock.dep_map->name 0-255
PARAM_VALUE 0 hba->tmf_queue->mq_freeze_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hba->tmf_queue->mq_freeze_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hba->tmf_queue->mq_freeze_lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 hba->tmf_queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hba->tmf_queue->mq_freeze_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hba->tmf_queue->mq_freeze_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hba->tmf_queue->mq_freeze_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hba->tmf_queue->mq_freeze_owner 1-u64max
PARAM_VALUE 0 hba->tmf_queue->mq_ops 0-1
PARAM_VALUE 0 hba->tmf_queue->q_usage_counter.data 0,4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->q_usage_counter.data->rcu.func 1-u64max
PARAM_VALUE 0 hba->tmf_queue->q_usage_counter.percpu_count_ptr 1-u64max
PARAM_VALUE 0 hba->tmf_queue->requeue_work.work.lockdep_map->name 0-255
PARAM_VALUE 0 hba->tmf_queue->tag_set 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tag_list_lock.dep_map->name 0-255
PARAM_VALUE 0 hba->tmf_queue->tag_set->tag_list_lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hba->tmf_queue->tag_set->tag_list_lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 hba->tmf_queue->tag_set->tag_list_lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 hba->tmf_queue->tag_set->tag_list_lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 hba->tmf_queue->tag_set->tag_list_lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tag_list_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_ctrp 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->lock.dep_map->name 0-255
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->lock.owner (-1)
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->lock.owner_cpu u32max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->sda_is_static 1
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->srcu_barrier_mutex.magic 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->srcu_cb_mutex.dep_map->name 0-255
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->srcu_cb_mutex.magic 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->srcu_gp_mutex.dep_map->name 0-255
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->srcu_gp_mutex.magic 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->srcu_gp_seq 18446744073709551216
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->srcu_ssp 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->srcu_ssp->sda 1-u64max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->srcu_ssp->srcu_sup 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->work.work.entry.next 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->work.work.entry.prev 2076614606316732416
PARAM_VALUE 0 hba->tmf_queue->tag_set->tags_srcu.srcu_sup->work.work.entry.prev->prev 2076614606316732416
PARAM_VALUE 0 hba->tmf_queue->tag_set_list.next->prev 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->timeout.entry.pprev 0
PARAM_VALUE 0 hba->tmf_queue->timeout.flags 0-4194302
PARAM_VALUE 0 hba->tmf_queue->timeout.function 0
PARAM_VALUE 0 hba->tmf_queue->timeout_work.lockdep_map->name 0-255
PARAM_VALUE 0 hba->tmf_queue->unused_hctx_list.next 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->unused_hctx_list.next->next 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->unused_hctx_list.next->prev 4096-ptr_max
PARAM_VALUE 0 hba->tmf_queue->unused_hctx_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hba->tmf_tag_set.driver_data->pdev->dev.dma_mem->spinlock.rlock.dep_map->name 0-255
PARAM_VALUE 0 hba->tmf_tag_set.nr_hw_queues 0-s32max
PARAM_VALUE 0 hba->tmf_tag_set.nr_maps 0-s32max
PARAM_VALUE 0 hba->tmf_tag_set.shared_tags->callback_head.func 3141462621558833152
PARAM_VALUE 0 hba->tmf_tag_set.shared_tags->rqs 0
PARAM_VALUE 0 hba->tmf_tag_set.srcu->srcu_sup->work.timer.flags 0-4194302
PARAM_VALUE 0 hba->tmf_tag_set.srcu->srcu_sup->work.timer.lockdep_map->name 0-255
PARAM_VALUE 0 hba->tmf_tag_set.srcu->srcu_sup->work.work.lockdep_map->name 0-255
PARAM_VALUE 0 hba->tmf_tag_set.tags 0
PARAM_VALUE 0 hba->tmf_tag_set.tags_srcu.srcu_sup 0,4096-ptr_max
PARAM_VALUE 0 hba->tmf_tag_set.tags_srcu.srcu_sup->srcu_barrier_mutex.dep_map->name 0-255
PARAM_VALUE 0 hba->tmf_tag_set.tags_srcu.srcu_sup->work.timer.flags 0-4194302
PARAM_VALUE 0 hba->tmf_tag_set.tags_srcu.srcu_sup->work.timer.lockdep_map->name 0-255
PARAM_VALUE 0 hba->tmf_tag_set.tags_srcu.srcu_sup->work.work.lockdep_map->name 0-255
PARAM_VALUE 0 hba->ufs_device_wlun 0,4096-ptr_max
PARAM_VALUE 0 hba->ufs_device_wlun->sdev_gendev.power.request 0-4
PARAM_VALUE 0 hba->ufs_device_wlun->sdev_gendev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 hba->ufs_device_wlun->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->ufs_rtc_update_work.work.lockdep_map->name 0-255
BUF_SIZE 0 hba s32min-(-2),1-s32max
BUF_SIZE 0 hba s32min-(-2),1-s32max
CAPPED_DATA 0 hba->tmf_queue->nr_hw_queues 1
CAPPED_DATA 0 hba->tmf_tag_set.nr_hw_queues 1
CAPPED_DATA 0 hba->tmf_tag_set.nr_maps 1
DATA_SOURCE 0 hba $0
PARAM_COMPARE 0 hba->tmf_queue->nr_hw_queues != $0->tmf_queue->tag_set->nr_hw_queues
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hba unit_byte
HALF_LOCKED2 &_dev->mutex