Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ufs/core/ufshcd.c ufshcd_exec_raw_upiu_cmd() -> ufshcd_issue_devman_upiu_cmd()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->clk_gating.state 1
PARAM_VALUE 0 hba->clk_gating.ungate_work.lockdep_map->name 0-255
PARAM_VALUE 0 hba->clk_scaling_lock.dep_map->name 0-255
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->dev_cmd.lock.dep_map->name 0-255
PARAM_VALUE 0 hba->dev_cmd.lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 hba->dev_cmd.lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 hba->dev_cmd.lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 hba->ufs_device_wlun 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 1 req_upiu 4096-ptr_max
PARAM_VALUE 2 rsp_upiu 4096-ptr_max
PARAM_VALUE 3 desc_buff 0,4096-ptr_max
PARAM_VALUE 4 buff_len 4527255881633144832
PARAM_VALUE 4 *buff_len 0-4064
PARAM_VALUE 5 cmd_type 0-1
PARAM_VALUE 6 desc_op 0-255
DATA_SOURCE 0 hba $0
DATA_SOURCE 1 req_upiu $1
DATA_SOURCE 2 rsp_upiu $2
DATA_SOURCE 3 desc_buff $4
DATA_SOURCE 4 buff_len $5
DATA_SOURCE 6 desc_op $6
FUZZY_MAX 5 cmd_type 1
FUZZY_MAX 6 desc_op 0
HARD_MAX 5 cmd_type 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 0 &hba->clk_scaling_lock
LOCK2 0 &hba->dev_cmd.lock
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct ufs_dev_cmd)->lock
TYPE_LOCK (struct ufs_hba)->clk_scaling_lock