Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/dw_mmc.c dw_mci_hw_reset() -> dw_mci_ctrl_reset()

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

drivers/mmc/host/dw_mmc.c dw_mci_idmac_start_dma() -> dw_mci_ctrl_reset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->cmd_status 0
PARAM_VALUE 0 host->completed_events 0
PARAM_VALUE 0 host->data 4096-ptr_max
PARAM_VALUE 0 host->data->error (-115)
PARAM_VALUE 0 host->data_status 0
PARAM_VALUE 0 host->dir_status 256,512
PARAM_VALUE 0 host->dma_ops 4096-ptr_max
PARAM_VALUE 0 host->drv_data 0,4096-ptr_max
PARAM_VALUE 0 host->irq_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->mmc->private 4096-ptr_max
PARAM_VALUE 0 host->mmc->private->state 6
PARAM_VALUE 0 host->mrq 4096-ptr_max
PARAM_VALUE 0 host->pending_events 0
PARAM_VALUE 0 host->sg 0
PARAM_VALUE 0 host->sg_cpu->des0 2147483666
PARAM_VALUE 0 host->sg_cpu->des1 0-4294967295
PARAM_VALUE 0 host->sg_cpu->des2 0-4294967295
PARAM_VALUE 0 host->sg_cpu->des3 0-4294967295
PARAM_VALUE 0 host->sg_cpu->des4 0-4294967295
PARAM_VALUE 0 host->sg_cpu->des5 0-4294967295
PARAM_VALUE 0 host->sg_cpu->des6 0-4294967295
PARAM_VALUE 0 host->sg_cpu->des7 0-4294967295
PARAM_VALUE 0 host->use_dma s32min-(-1),1-s32max
PARAM_VALUE 0 host->using_dma 1
PARAM_VALUE 1 reset 4
BUF_SIZE 0 host->mrq (-1)-0,304
DATA_SOURCE 0 host $0
FUZZY_MAX 0 host->dir_status 512
FUZZY_MAX 0 host->use_dma 1
BIT_INFO 0 host->dir_status 0x0,0x300
HARD_MAX 0 host->dir_status 512
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 0 &host->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 bh
TYPE_LOCK (struct dw_mci)->lock

drivers/mmc/host/dw_mmc.c dw_mci_probe() -> dw_mci_ctrl_reset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->biu_clk 0,4096-u64max
PARAM_VALUE 0 host->biu_clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->biu_clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->biu_clk->core->dev->power.request 0-4
PARAM_VALUE 0 host->biu_clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 host->biu_clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->biu_clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->biu_clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->biu_clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->biu_clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->biu_clk->core->enable_count 0-4294967295
PARAM_VALUE 0 host->biu_clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->biu_clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->biu_clk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 host->biu_clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 host->biu_clk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->biu_clk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->biu_clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->biu_clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->biu_clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->biu_clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 host->biu_clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 host->biu_clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 host->biu_clk->core->prepare_count 1-4294967295
PARAM_VALUE 0 host->biu_clk->core->protect_count 0-4294967295
PARAM_VALUE 0 host->ciu_clk 4096-u64max
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-4294967295
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-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 0-4294967295
PARAM_VALUE 0 host->ciu_clk->core->protect_count 0-4294967295
PARAM_VALUE 0 host->cmd11_timer.entry.pprev 0
PARAM_VALUE 0 host->cmd11_timer.flags 0-4194302
PARAM_VALUE 0 host->cmd11_timer.lockdep_map->name 0-255
PARAM_VALUE 0 host->cto_timer.entry.pprev 0
PARAM_VALUE 0 host->cto_timer.flags 0-4194302
PARAM_VALUE 0 host->cto_timer.lockdep_map->name 0-255
PARAM_VALUE 0 host->data_shift 1-3
PARAM_VALUE 0 host->dev 4096-ptr_max
PARAM_VALUE 0 host->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 host->dev->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 host->dev->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 host->dma_threshold 16,512
PARAM_VALUE 0 host->drv_data 0,4096-ptr_max
PARAM_VALUE 0 host->dto_timer.entry.pprev 0
PARAM_VALUE 0 host->dto_timer.flags 0-4194302
PARAM_VALUE 0 host->dto_timer.lockdep_map->name 0-255
PARAM_VALUE 0 host->fault_timer._softexpires 0
PARAM_VALUE 0 host->fault_timer.base 4096-ptr_max
PARAM_VALUE 0 host->fault_timer.function 1-u64max
PARAM_VALUE 0 host->fault_timer.is_queued 0
PARAM_VALUE 0 host->fault_timer.is_rel 0
PARAM_VALUE 0 host->fault_timer.node.expires 0
PARAM_VALUE 0 host->fault_timer.node.node.next 0
PARAM_VALUE 0 host->fault_timer.node.node.prev 0
PARAM_VALUE 0 host->irq_flags 0,128
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.class 7305885352085544960
PARAM_VALUE 0 host->mmc->class_dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 host->mmc->class_dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.dma_uses_io_tlb 0
PARAM_VALUE 0 host->mmc->class_dev.kobj.entry.next 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.kobj.entry.prev 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 host->mmc->class_dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 host->mmc->class_dev.kobj.state_initialized 1
PARAM_VALUE 0 host->mmc->class_dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.links.status 0
PARAM_VALUE 0 host->mmc->class_dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.numa_node (-1)
PARAM_VALUE 0 host->mmc->class_dev.parent 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.power.async_suspend 1
PARAM_VALUE 0 host->mmc->class_dev.power.disable_depth 1
PARAM_VALUE 0 host->mmc->class_dev.power.early_init 1
PARAM_VALUE 0 host->mmc->class_dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.power.is_prepared 0
PARAM_VALUE 0 host->mmc->class_dev.power.is_suspended 0
PARAM_VALUE 0 host->mmc->class_dev.power.last_status (-1)
PARAM_VALUE 0 host->mmc->class_dev.power.qos 0
PARAM_VALUE 0 host->mmc->class_dev.power.request 0
PARAM_VALUE 0 host->mmc->class_dev.power.runtime_auto 1
PARAM_VALUE 0 host->mmc->class_dev.power.runtime_status 2
PARAM_VALUE 0 host->mmc->class_dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 host->mmc->fixed_drv_type (-22)
PARAM_VALUE 0 host->mmc->index 0-s32max
PARAM_VALUE 0 host->mmc->ios.power_delay_ms 10
PARAM_VALUE 0 host->mmc->ios.power_mode 3
PARAM_VALUE 0 host->mmc->max_blk_count 8
PARAM_VALUE 0 host->mmc->max_blk_size 512
PARAM_VALUE 0 host->mmc->max_req_size 4096
PARAM_VALUE 0 host->mmc->max_seg_size 4096
PARAM_VALUE 0 host->mmc->max_segs 1
PARAM_VALUE 0 host->mmc->parent 4096-ptr_max
PARAM_VALUE 0 host->mmc->rescan_disable 1
PARAM_VALUE 0 host->mmc->retune_timer.entry.pprev 0
PARAM_VALUE 0 host->mmc->retune_timer.flags 0-4194302
PARAM_VALUE 0 host->mmc->slot.cd_irq (-22)
PARAM_VALUE 0 host->mmc->slot.handler_priv 4096-ptr_max
PARAM_VALUE 0 host->mmc->wq.head.next 4096-ptr_max
PARAM_VALUE 0 host->mmc->wq.head.prev 4096-ptr_max
PARAM_VALUE 0 host->mmc->ws 0,4096-ptr_max
PARAM_VALUE 0 host->priv 4096-ptr_max
PARAM_VALUE 0 host->pull_data 3976609910164754432,7102389416474017792,7217643122476376064,7231911926981189632
PARAM_VALUE 0 host->push_data 1344112553175498752,2468914767255572480,5720004198282702848,7320509858229886976
PARAM_VALUE 0 host->regs 4096-ptr_max
PARAM_VALUE 0 host->rstc 0,4096-ptr_max
PARAM_VALUE 0 host->rstc->array 0-1
PARAM_VALUE 0 host->wm_aligned 1
PARAM_VALUE 1 reset 7
BUF_SIZE 0 host->biu_clk (-1),1-s32max
BUF_SIZE 0 host->ciu_clk (-1),1-s32max
BUF_SIZE 0 host->dev 1616
BUF_SIZE 0 host->drv_data (-1),88
BUF_SIZE 0 host->irq s32min-(-1),1-s32max
DATA_SOURCE 0 host $0
FUZZY_MAX 0 host->data_shift 3
BIT_INFO 0 host->pull_data 0x2000000040080000,0x77fff9bffffff000
BIT_INFO 0 host->push_data 0x1080220000000,0x7ff7fffffefff000
HARD_MAX 0 host->data_shift 3
HARD_MAX 0 host->irq_flags 128
MEM_ZERO 0 &host->fault_timer
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 host->priv->ciu_div 0-255
HOST_DATA 0 host->priv->cur_speed 0-4294967295
HOST_DATA 0 host->priv->ddr_timing 0-4294967295
HOST_DATA 0 host->priv->hs400_timing 0-4294967295
HOST_DATA 0 host->priv->saved_dqs_en 0-4294967295
HOST_DATA 0 host->priv->saved_strobe_ctrl 0-4294967295
HOST_DATA 0 host->priv->sdr_timing 0-4294967295
HOST_DATA 0 host->priv->tuned_sample 0-4294967295
HOST_DATA 0 *host->priv s64min-s64max
NO_OVERFLOW_SIMPLE 0 host->ciu_clk->core->parent->req_rate

drivers/mmc/host/dw_mmc.c dw_mci_reset() -> dw_mci_ctrl_reset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->sg 0
PARAM_VALUE 1 reset 3,7
DATA_SOURCE 0 host $0
FUZZY_MAX 1 reset 3
BIT_INFO 1 reset 0x3,0x7
PREEMPT_ADD
LOCK2 0 &host->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dw_mci)->lock

drivers/mmc/host/dw_mmc.c dw_mci_reset() -> dw_mci_ctrl_reset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 host->sg 0
PARAM_VALUE 0 host->use_dma s32min-(-1),1-s32max
PARAM_VALUE 1 reset 2
DATA_SOURCE 0 host $0
PREEMPT_ADD
LOCK2 0 &host->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dw_mci)->lock

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

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->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->slot.handler_priv 4096-ptr_max
PARAM_VALUE 1 reset 7
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
UNITS 0 host unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->clk_old 1-u32max
PARAM_VALUE 0 host->ctype 0-1,65536
PARAM_VALUE 0 host->drv_data 0,4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 1 reset 7
CAPPED_DATA 0 host->clock 1
FUZZY_MAX 0 host->ctype 65536
BIT_INFO 0 host->ctype 0x0,0x10001
NOSPEC 0 host->clk_old
NOSPEC 0 host->clock
NOSPEC 0 host->current_speed
HARD_MAX 0 host->ctype 65536
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 host->clk_old 1-s32max[c]
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->current_speed 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
NO_OVERFLOW_SIMPLE 0 host->current_speed