Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ufs/core/ufshcd.c __ufshcd_query_descriptor() -> ufshcd_dev_man_lock()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hba->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->host->pseudo_sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->host_sem.first_waiter->up 0-1
PARAM_VALUE 0 hba->ufs_device_wlun->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->vps->hba_enable_delay_us 1000
PARAM_VALUE 0 hba->vps->wb_flush_threshold 1-10
BUF_SIZE 0 hba s32min-(-1),1-s32max
BUF_SIZE 0 hba s32min-(-1),1-s32max
DATA_SOURCE 0 hba $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_buf_flush_enabled
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_enabled
UNITS 0 hba unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &hba->host_sem

drivers/ufs/core/ufshcd.c ufshcd_advanced_rpmb_req_handler() -> ufshcd_dev_man_lock()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->dev_info.b_advanced_rpmb_en 1
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 0 hba->ufs_version 1024-u32max
DATA_SOURCE 0 hba $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

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

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
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
DATA_SOURCE 0 hba $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/ufs/core/ufshcd.c ufshcd_query_attr() -> ufshcd_dev_man_lock()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hba->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->host->pseudo_sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->host_sem.first_waiter->up 0-1
PARAM_VALUE 0 hba->ufs_device_wlun->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->ufs_device_wlun->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->vps->hba_enable_delay_us 1000
PARAM_VALUE 0 hba->vps->wb_flush_threshold 1-10
PARAM_VALUE 0 hba->vreg_info.vcc->max_uA 0-s32max
PARAM_VALUE 0 hba->vreg_info.vccq->max_uA 0-s32max
PARAM_VALUE 0 hba->vreg_info.vccq2->max_uA 0-s32max
BUF_SIZE 0 hba s32min-(-1),1-s32max
BUF_SIZE 0 hba s32min-(-1),1-s32max
DATA_SOURCE 0 hba $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_buf_flush_enabled
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_enabled
UNITS 0 hba unit_byte
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 0 &hba->ee_ctrl_mutex
HALF_LOCKED2 0 &hba->host_sem

drivers/ufs/core/ufshcd.c ufshcd_query_attr_qword() -> ufshcd_dev_man_lock()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hba->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->host->pseudo_sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->host_sem.first_waiter->up 0-1
PARAM_VALUE 0 hba->ufs_device_wlun->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->ufs_device_wlun->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->vps->wb_flush_threshold 1-10
BUF_SIZE 0 hba s32min-(-1),1-s32max
BUF_SIZE 0 hba s32min-(-1),1-s32max
DATA_SOURCE 0 hba $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 hba unit_byte
HALF_LOCKED2 &dev->mutex
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &hba->host_sem

drivers/ufs/core/ufshcd.c ufshcd_query_flag() -> ufshcd_dev_man_lock()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hba->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->host->pseudo_sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->host_sem.first_waiter->up 0-1
PARAM_VALUE 0 hba->ufs_device_wlun->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->ufs_device_wlun->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->vps->hba_enable_delay_us 1000
PARAM_VALUE 0 hba->vps->wb_flush_threshold 1-10
BUF_SIZE 0 hba s32min-(-1),1-s32max
BUF_SIZE 0 hba s32min-(-1),1-s32max
DATA_SOURCE 0 hba $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 hba->clk_scaling.is_enabled 0
NO_OVERFLOW_SIMPLE 0 hba->clk_scaling.is_enabled
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_buf_flush_enabled
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_enabled
UNITS 0 hba unit_byte
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &hba->host_sem

drivers/ufs/core/ufshcd.c ufshcd_verify_dev_init() -> ufshcd_dev_man_lock()

Type Parameter Key Value
PARAM_VALUE 0 hba 4096-ptr_max
PARAM_VALUE 0 hba->caps 16-u32max
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hba->clk_scaling_lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 hba->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 hba->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->host->pseudo_sdev->request_queue->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->host_sem.first_waiter->up 0-1
PARAM_VALUE 0 hba->ufs_device_wlun->sdev_gendev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->ufs_device_wlun->sdev_target->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 hba->ufshcd_state 0,2-4
DATA_SOURCE 0 hba $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_buf_flush_enabled
NO_OVERFLOW_SIMPLE 0 hba->dev_info.wb_enabled
NO_OVERFLOW_SIMPLE 0 hba->devfreq->previous_freq
NO_OVERFLOW_SIMPLE 0 hba->devfreq->resume_freq
HALF_LOCKED2 0 &hba->host_sem