Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/mtk-sd.c msdc_auto_cmd_done() -> msdc_reset_hw()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data->sg_count

drivers/mmc/host/mtk-sd.c msdc_cmd_done() -> msdc_reset_hw()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cmd 0
PARAM_VALUE 0 host->hs400_tuning 0
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->cmd->arg

drivers/mmc/host/mtk-sd.c msdc_cqe_disable() -> msdc_reset_hw()

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

drivers/mmc/host/mtk-sd.c msdc_data_xfer_done() -> msdc_reset_hw()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cmd 0
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mrq 1-u64max
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/mtk-sd.c msdc_init_hw() -> msdc_reset_hw()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->dev_comp 4096-ptr_max
PARAM_VALUE 0 host->reset 0,4096-u64max
PARAM_VALUE 0 host->reset->array 0-1
BUF_SIZE 0 host->crypto_clk (-1),1-s32max
BUF_SIZE 0 host->dev (-1),1616
BUF_SIZE 0 host->dma.bd (-1),16384
BUF_SIZE 0 host->dma.gpd (-1),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,280
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/mtk-sd.c msdc_request_done() -> msdc_reset_hw()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cmd 0
PARAM_VALUE 0 host->data->flags 0,256,512,4352,4608,8448,8704,12544,12800
PARAM_VALUE 0 host->data->sg_count 0-s32max
PARAM_VALUE 0 host->error s32min-(-1),1-s32max
PARAM_VALUE 0 host->hsq_en 1
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->req_timeout.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 host->req_timeout.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 host->req_timeout.wq->saved_min_active s32min-s32max
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data->sg_count

drivers/mmc/host/mtk-sd.c msdc_request_done() -> msdc_reset_hw()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cmd 0
PARAM_VALUE 0 host->data->flags 0,256,512,4352,4608,8448,8704,12544,12800
PARAM_VALUE 0 host->data->sg_count 0-s32max
PARAM_VALUE 0 host->error s32min-(-1),1-s32max
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mrq 0
PARAM_VALUE 0 host->req_timeout.wq->dfl_pwq 0-s64max
PARAM_VALUE 0 host->req_timeout.wq->saved_max_active s32min-s32max
PARAM_VALUE 0 host->req_timeout.wq->saved_min_active s32min-s32max
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data->sg_count

drivers/mmc/host/mtk-sd.c msdc_start_command() -> msdc_reset_hw()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->dev 0,4096-ptr_max
PARAM_VALUE 0 host->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 host->dev->class 0,4096-ptr_max
PARAM_VALUE 0 host->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 host->req_timeout.cpu 0-s32max
PARAM_VALUE 0 host->req_timeout.timer.entry->pprev 4096-ptr_max
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->data->sg_count