Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 17 files:

Smatch caller information:

drivers/mmc/host/sdhci-st.c sdhci_st_remove() -> sdhci_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/sdhci-of-at91.c sdhci_at91_remove() -> sdhci_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/mmc/host/sdhci-of-bst.c sdhci_bst_remove() -> sdhci_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/sdhci-bcm-kona.c sdhci_bcm_kona_remove() -> sdhci_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/sdhci_f_sdh30.c sdhci_f_sdh30_remove() -> sdhci_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/sdhci-of-arasan.c sdhci_arasan_remove() -> sdhci_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/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