Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 8 files:
- drivers/mmc/host/dw_mmc-bluefield.c, line 71
- drivers/mmc/host/dw_mmc-exynos.c, line 707
- drivers/mmc/host/dw_mmc-hi3798cv200.c, line 179
- drivers/mmc/host/dw_mmc-hi3798mv200.c, line 226
- drivers/mmc/host/dw_mmc-k3.c, line 453
- drivers/mmc/host/dw_mmc-pltfm.c
- drivers/mmc/host/dw_mmc-rockchip.c, line 600
- drivers/mmc/host/dw_mmc-starfive.c, line 117
Smatch caller information:
drivers/mmc/host/dw_mmc-exynos.c dw_mci_exynos_remove() -> dw_mci_pltfm_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.power.last_status | (-1) |
| PARAM_VALUE | 0 | pdev->dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | pdev->dev.power.runtime_error | 0 |
| PARAM_VALUE | 0 | pdev->dev.power.runtime_status | 2 |
| PARAM_VALUE | 0 | pdev->dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | pdev->dev.power.usage_count.counter | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.power.wakeirq->status | 0-4294967295 |
| DATA_SOURCE | 0 | pdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
drivers/mmc/host/dw_mmc-hi3798mv200.c dw_mci_hi3798mv200_remove() -> dw_mci_pltfm_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| DATA_SOURCE | 0 | pdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
drivers/mmc/host/dw_mmc-hi3798cv200.c dw_mci_hi3798cv200_remove() -> dw_mci_pltfm_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| DATA_SOURCE | 0 | pdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
drivers/mmc/host/dw_mmc-rockchip.c dw_mci_rockchip_remove() -> dw_mci_pltfm_remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.bus | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.class | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.power.disable_depth | 1-7 |
| PARAM_VALUE | 0 | pdev->dev.power.last_status | s32min-0,2,4-s32max |
| PARAM_VALUE | 0 | pdev->dev.power.request_pending | 0 |
| PARAM_VALUE | 0 | pdev->dev.power.runtime_error | s32min-(-17),(-15)-(-14),(-12),(-10)-s32max |
| PARAM_VALUE | 0 | pdev->dev.power.runtime_status | 0,2 |
| PARAM_VALUE | 0 | pdev->dev.power.timer_expires | 0 |
| PARAM_VALUE | 0 | pdev->dev.power.usage_count.counter | 0-s32max |
| PARAM_VALUE | 0 | pdev->dev.power.wakeirq | 0,4096-ptr_max |
| PARAM_VALUE | 0 | pdev->dev.power.wakeirq->status | 0-4294967295 |
| PARAM_VALUE | 0 | pdev->dev.type | 0,4096-ptr_max |
| DATA_SOURCE | 0 | pdev | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |
drivers/base/platform.c platform_remove() -> (struct platform_driver)->remove()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | pdev | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &_dev->mutex |