Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci-pci-core.c jmicron_probe_slot() -> jmicron_enable_mmc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 on 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/mmc/host/sdhci-pci-core.c jmicron_remove_slot() -> jmicron_enable_mmc()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 on 0
CAPPED_DATA 0 host 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->caps 0-u32max[c]
HOST_DATA 0 host->caps1 0-u32max[c]

drivers/mmc/host/sdhci-pci-core.c jmicron_resume() -> jmicron_enable_mmc()

Type Parameter Key Value
PARAM_VALUE 1 on 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsm->lock

drivers/mmc/host/sdhci-pci-core.c jmicron_suspend() -> jmicron_enable_mmc()

Type Parameter Key Value
PARAM_VALUE 1 on 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fsm->lock