Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/wmt-sdmmc.c wmt_mci_dma_isr() -> wmt_mci_disable_dma()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
DATA_SOURCE 0 priv $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/mmc/host/wmt-sdmmc.c wmt_mci_regular_isr() -> wmt_mci_disable_dma()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
DATA_SOURCE 0 priv $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags

drivers/mmc/host/wmt-sdmmc.c wmt_mci_regular_isr() -> wmt_mci_disable_dma()

Type Parameter Key Value
PARAM_VALUE 0 priv 4096-ptr_max
DATA_SOURCE 0 priv $1
PARAM_COMPARE 0 priv->cmd >= $0->req->data->stop
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 flags