Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/dw_mmc.c dw_mci_runtime_resume() -> dw_mci_setup_bus()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->ciu_clk 0,4096-ptr_max
PARAM_VALUE 0 host->ciu_clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->ciu_clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->ciu_clk->core->dev->power.request 0-4
PARAM_VALUE 0 host->ciu_clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 host->ciu_clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->ciu_clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->ciu_clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->ciu_clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->ciu_clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->ciu_clk->core->enable_count 0-4294967295
PARAM_VALUE 0 host->ciu_clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->ciu_clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->ciu_clk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 host->ciu_clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 host->ciu_clk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->ciu_clk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->ciu_clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->ciu_clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->ciu_clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->ciu_clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 host->ciu_clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 host->ciu_clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 host->ciu_clk->core->prepare_count 1-4294967295
PARAM_VALUE 0 host->ciu_clk->core->protect_count 0-4294967295
PARAM_VALUE 0 host->dma_ops 4096-ptr_max
PARAM_VALUE 0 host->dma_ops->init 5557972855000363008,8834968346032799744
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->slot.handler_priv 4096-ptr_max
PARAM_VALUE 0 host->prev_blksz 0
PARAM_VALUE 1 force_clkinit 1
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
BIT_INFO 0 host->mmc->pm_flags 0x0,0xffffffff
NOCHECK_CALL
UNITS 0 host unit_byte

drivers/mmc/host/dw_mmc.c dw_mci_set_ios() -> dw_mci_setup_bus()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->ctype 0-1,65536
PARAM_VALUE 0 host->drv_data 0,4096-ptr_max
PARAM_VALUE 1 force_clkinit 0
FUZZY_MAX 0 host->ctype 65536
BIT_INFO 0 host->ctype 0x0,0x10001
NOSPEC 0 host->clock
HARD_MAX 0 host->ctype 65536
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->priv->cur_speed 50000000-4294967294[c]
NO_OVERFLOW_SIMPLE 0 host->biu_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 host->ciu_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 host->clock

drivers/mmc/host/dw_mmc.c dw_mci_set_ios() -> dw_mci_setup_bus()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->ctype 0-1,65536
PARAM_VALUE 0 host->drv_data 0,4096-ptr_max
PARAM_VALUE 1 force_clkinit 0
FUZZY_MAX 0 host->ctype 65536
BIT_INFO 0 host->ctype 0x0,0x10001
NOSPEC 0 host->clock
HARD_MAX 0 host->ctype 65536
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->priv->cur_speed 50000000-4294967294[c]
NO_OVERFLOW_SIMPLE 0 host->biu_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 host->ciu_clk->core->parent->req_rate
NO_OVERFLOW_SIMPLE 0 host->clock