Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/mxcmmc.c mxcmci_poll_status() -> mxcmci_softreset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->data 4096-ptr_max
PARAM_VALUE 0 host->req 4096-ptr_max
PARAM_VALUE 0 host->req->data 4096-ptr_max
DATA_SOURCE 0 host $0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/mmc/host/mxcmmc.c mxcmci_probe() -> mxcmci_softreset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->base 4096-ptr_max
PARAM_VALUE 0 host->clk_ipg 0,4096-ptr_max
PARAM_VALUE 0 host->clk_ipg->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->clk_ipg->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->clk_ipg->core->dev->power.request 0-4
PARAM_VALUE 0 host->clk_ipg->core->dev->power.request_pending 0-1
PARAM_VALUE 0 host->clk_ipg->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->clk_ipg->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->clk_ipg->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->clk_ipg->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->clk_ipg->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->clk_ipg->core->enable_count 0-4294967295
PARAM_VALUE 0 host->clk_ipg->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->clk_ipg->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->clk_ipg->core->parent->dev->power.request 0-4
PARAM_VALUE 0 host->clk_ipg->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 host->clk_ipg->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->clk_ipg->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->clk_ipg->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->clk_ipg->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->clk_ipg->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->clk_ipg->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 host->clk_ipg->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 host->clk_ipg->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 host->clk_ipg->core->prepare_count 1-4294967295
PARAM_VALUE 0 host->clk_ipg->core->protect_count 0-4294967295
PARAM_VALUE 0 host->clk_per 0,4096-ptr_max
PARAM_VALUE 0 host->clk_per->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->clk_per->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->clk_per->core->dev->power.request 0-4
PARAM_VALUE 0 host->clk_per->core->dev->power.request_pending 0-1
PARAM_VALUE 0 host->clk_per->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->clk_per->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->clk_per->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->clk_per->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->clk_per->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->clk_per->core->enable_count 0-4294967295
PARAM_VALUE 0 host->clk_per->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->clk_per->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->clk_per->core->parent->dev->power.request 0-4
PARAM_VALUE 0 host->clk_per->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 host->clk_per->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->clk_per->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->clk_per->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->clk_per->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->clk_per->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->clk_per->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 host->clk_per->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 host->clk_per->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 host->clk_per->core->prepare_count 1-4294967295
PARAM_VALUE 0 host->clk_per->core->protect_count 0-4294967295
PARAM_VALUE 0 host->default_irq_mask 0,49152
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->caps 0,8-u32max
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.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->index 0-s32max
PARAM_VALUE 0 host->mmc->ios.power_mode 3
PARAM_VALUE 0 host->mmc->max_blk_count u16max
PARAM_VALUE 0 host->mmc->max_blk_size 2048
PARAM_VALUE 0 host->mmc->max_req_size 134215680
PARAM_VALUE 0 host->mmc->max_seg_size 134215680
PARAM_VALUE 0 host->mmc->max_segs 1,64
PARAM_VALUE 0 host->mmc->ops 6951106291880509440
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->pdata 0,4096-ptr_max
BUF_SIZE 0 host->clk_ipg (-1),1-s32max
BUF_SIZE 0 host->clk_per (-1),1-s32max
BUF_SIZE 0 host->mmc 3456-s32max
BUF_SIZE 0 host->pdata s32min-(-2),1-s32max
FUZZY_MAX 0 host->default_irq_mask 49152
FUZZY_MAX 0 host->mmc->caps 9
BIT_INFO 0 host->default_irq_mask 0x0,0xc000
HARD_MAX 0 host->default_irq_mask 49152
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/mxcmmc.c mxcmci_watchdog() -> mxcmci_softreset()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->dma_dir 0-1,3-u32max
PARAM_VALUE 0 host->mmc 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL