Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/ufs/core/ufshcd.c ufshcd_gate_work() -> ufshcd_disable_irq()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | hba | 4096-ptr_max |
| PARAM_VALUE | 0 | hba->active_uic_cmd->cmd_active | 1 |
| PARAM_VALUE | 0 | hba->active_uic_cmd->done.done | 0 |
| PARAM_VALUE | 0 | hba->active_uic_cmd->done.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | hba->active_uic_cmd->done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | hba->active_uic_cmd->done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | hba->active_uic_cmd->done.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | hba->active_uic_cmd->done.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | hba->clk_gating.is_suspended | 0 |
| PARAM_VALUE | 0 | hba->host | 4096-ptr_max |
| PARAM_VALUE | 0 | hba->host->tag_set.tags_srcu.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | hba->outstanding_tasks | 0 |
| PARAM_VALUE | 0 | hba->uic_async_done | 0 |
| CAPPED_DATA | 0 | hba->host->tag_set.tags_srcu.srcu_ctrp | 1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/ufs/core/ufshcd.c ufshcd_hba_stop() -> ufshcd_disable_irq()
| 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->vops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | hba->vps->wb_flush_threshold | 1-10 |
| 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 | |
| HALF_LOCKED2 | 0 | &hba->host_sem |
drivers/ufs/core/ufshcd.c ufshcd_suspend() -> ufshcd_disable_irq()
| 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->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->is_powered | 1 |
| PARAM_VALUE | 0 | hba->ufs_device_wlun->sdev_gendev.power.wakeirq->status | 0-4294967295 |
| 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 |