Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

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