Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/mtk-sd.c msdc_drv_probe() -> msdc_deinit_hw()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
BUF_SIZE 0 host->cq_host 416,u64max
BUF_SIZE 0 host->cq_host->ops (-1)-0,80
BUF_SIZE 0 host->crypto_clk (-1),1-s32max
BUF_SIZE 0 host->dev 1616
BUF_SIZE 0 host->dma.bd 16384
BUF_SIZE 0 host->dma.gpd 56
BUF_SIZE 0 host->eint_irq s32min-(-1),1-s32max
BUF_SIZE 0 host->irq s32min-(-1),1-s32max
BUF_SIZE 0 host->pinctrl (-1),72
BUF_SIZE 0 host->pins_default (-1),40
BUF_SIZE 0 host->pins_eint (-1)-0,40
BUF_SIZE 0 host->pins_uhs (-1),40
BUF_SIZE 0 host->reset (-1),8,96,280,1296
BIT_INFO 0 host->dma_mask 0xffffffff,0xffffffffffffffff
MEM_ZERO 0 host->dma.bd
MEM_ZERO 0 host->dma.gpd
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->cq_host->crypto_capabilities.reg_val 0-u32max
HOST_DATA 0 host->def_tune_para s32min-s32max
HOST_DATA 0 host->def_tune_para->emmc_top_cmd 0-u32max
HOST_DATA 0 host->def_tune_para->emmc_top_control 0-u32max
HOST_DATA 0 host->def_tune_para->iocon 0-u32max
HOST_DATA 0 host->def_tune_para->pad_cmd_tune 0-u32max
HOST_DATA 0 host->def_tune_para->pad_tune 0-u32max
HOST_DATA 0 host->saved_tune_para s32min-s32max
HOST_DATA 0 host->saved_tune_para->emmc_top_cmd 0-u32max
HOST_DATA 0 host->saved_tune_para->emmc_top_control 0-u32max
HOST_DATA 0 host->saved_tune_para->iocon 0-u32max
HOST_DATA 0 host->saved_tune_para->pad_cmd_tune 0-u32max
HOST_DATA 0 host->saved_tune_para->pad_tune 0-u32max
NO_OVERFLOW_SIMPLE 0 host->cq_host->crypto_capabilities.num_crypto_cap
NO_OVERFLOW_SIMPLE 0 host->cq_host->num_slots

drivers/mmc/host/mtk-sd.c msdc_drv_remove() -> msdc_deinit_hw()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_dev->mutex