Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ufs/core/ufshcd.c ufshcd_abort() -> ufshcd_clear_cmd()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->dev 0,4096-ptr_max
PARAM_VALUE 0 hba->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 hba->dev->class 0,4096-ptr_max
PARAM_VALUE 0 hba->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 hba->mcq_enabled 0

drivers/ufs/core/ufshcd.c ufshcd_clear_lu_cmds() -> ufshcd_clear_cmd()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &khd->lock

drivers/ufs/core/ufshcd.c ufshcd_try_to_abort_task() -> ufshcd_clear_cmd()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->clk_gating.gate_work->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 hba->clk_gating.gate_work.work.entry.next->next 1-u64max
PARAM_VALUE 0 hba->clk_gating.gate_work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 hba->clk_gating.gate_work.work.entry.prev->next 1-u64max
PARAM_VALUE 0 hba->clk_gating.gate_work.work.entry.prev->prev 1-u64max
PARAM_VALUE 0 hba->clk_gating.ungate_work.lockdep_map->name 0-255
PARAM_VALUE 0 hba->dev 0,4096-ptr_max
PARAM_VALUE 0 hba->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 hba->dev->class 0,4096-ptr_max
PARAM_VALUE 0 hba->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 hba->host 4096-ptr_max
PARAM_VALUE 0 hba->host->host_lock->rlock.dep_map->name 0-255
PARAM_VALUE 0 hba->host->tag_set.shared_tags 4096-ptr_max
PARAM_VALUE 0 hba->host->tag_set.shared_tags->nr_tags 1-u32max
PARAM_VALUE 0 hba->tmf_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->tmf_queue->q_usage_counter.percpu_count_ptr 1-u64max
PARAM_VALUE 0 hba->vops 0,4096-ptr_max
PARAM_VALUE 1 task_tag 0-4294967294
CAPPED_DATA 0 hba->host->tag_set.shared_tags->nr_tags 1
CAPPED_DATA 1 task_tag 1
DATA_SOURCE 0 hba $0
DATA_SOURCE 1 task_tag $1
PARAM_COMPARE 0 hba->host->tag_set.shared_tags->nr_tags > $1
PARAM_COMPARE 1 task_tag < $0->host->tag_set.shared_tags->nr_tags
RX_PATH
TASK_NOT_RUNNING