Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ufs/core/ufshcd.c ufshcd_wb_toggle() -> __ufshcd_wb_toggle()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hba | 4096-ptr_max |
| PARAM_VALUE | 0 | hba->caps | 128-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->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 | 2 | idn | 14 |
| BUF_SIZE | 0 | hba | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hba | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hba | $0 |
| DATA_SOURCE | 1 | set | $1 |
| PARAM_COMPARE | 1 | set | != $0->dev_info.wb_enabled |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | hba->devfreq->previous_freq | |
| NO_OVERFLOW_SIMPLE | 0 | hba->devfreq->resume_freq | |
| UNITS | 0 | hba | unit_byte |
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | 0 | &hba->host_sem |
drivers/ufs/core/ufshcd.c ufshcd_wb_toggle_buf_flush() -> __ufshcd_wb_toggle()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hba | 4096-ptr_max |
| PARAM_VALUE | 0 | hba->caps | 128-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->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 | 2 | idn | 15 |
| BUF_SIZE | 0 | hba | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | hba | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | hba | $0 |
| DATA_SOURCE | 1 | set | $1 |
| PARAM_COMPARE | 1 | set | != $0->dev_info.wb_buf_flush_enabled |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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_wb_toggle_buf_flush_during_h8() -> __ufshcd_wb_toggle()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hba | 4096-ptr_max |
| PARAM_VALUE | 0 | hba->caps | 128-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->host->pseudo_sdev->request_queue->dev->power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 2 | idn | 16 |
| DATA_SOURCE | 0 | hba | $0 |
| DATA_SOURCE | 1 | set | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | hba->dev_info.wb_buf_flush_enabled | |
| NO_OVERFLOW_SIMPLE | 0 | hba->dev_info.wb_enabled | |
| HALF_LOCKED2 | 0 | &hba->host_sem |