Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/ufs/core/ufshcd.c ufshcd_set_dev_pwr_mode() -> ufshcd_execute_start_stop()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sdev | 4096-ptr_max |
| PARAM_VALUE | 0 | sdev->host->hostt->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | sdev->host->hostt->module->state | 0-1,3-u32max |
| PARAM_VALUE | 0 | sdev->sdev_state | 0-2,5,8-u32max |
| PARAM_VALUE | 1 | pwr_mode | 1 |
| PARAM_VALUE | 2 | sshdr | 7711732899099643904 |
| DATA_SOURCE | 1 | pwr_mode | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |