Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/wmt-sdmmc.c wmt_mci_probe() -> wmt_reset_hardware()

Type Parameter Key Value
PARAM_VALUE 0 mmc 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.class 7305885352085544960
PARAM_VALUE 0 mmc->class_dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.devres_head.next->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.devres_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_mem->dyn_alloc.data.counter 9007199250546704
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_mem->dyn_alloc.entry.prev 1473117533515866344
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_mem->dyn_alloc.func 1583282886040592384
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_mem->pools.prev 1473117533515866320
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_pools.next->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_pools.next->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_pools.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_pools.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.dma_uses_io_tlb 0
PARAM_VALUE 0 mmc->class_dev.flags 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 mmc->class_dev.kobj.kset 0,4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 mmc->class_dev.kobj.state_in_sysfs 0
PARAM_VALUE 0 mmc->class_dev.kobj.state_initialized 1
PARAM_VALUE 0 mmc->class_dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.consumers.next->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.consumers.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.consumers.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.defer_sync.next->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.defer_sync.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.defer_sync.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.status 0
PARAM_VALUE 0 mmc->class_dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.suppliers.next->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.suppliers.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.links.suppliers.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.numa_node (-1)
PARAM_VALUE 0 mmc->class_dev.parent 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.power.async_suspend 1
PARAM_VALUE 0 mmc->class_dev.power.deferred_resume 0
PARAM_VALUE 0 mmc->class_dev.power.disable_depth 1
PARAM_VALUE 0 mmc->class_dev.power.early_init 1
PARAM_VALUE 0 mmc->class_dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.power.entry.next->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.power.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.power.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.power.idle_notification 0
PARAM_VALUE 0 mmc->class_dev.power.ignore_children 0
PARAM_VALUE 0 mmc->class_dev.power.is_late_suspended 0
PARAM_VALUE 0 mmc->class_dev.power.is_noirq_suspended 0
PARAM_VALUE 0 mmc->class_dev.power.is_prepared 0
PARAM_VALUE 0 mmc->class_dev.power.is_suspended 0
PARAM_VALUE 0 mmc->class_dev.power.last_status (-1)
PARAM_VALUE 0 mmc->class_dev.power.needs_force_resume 0
PARAM_VALUE 0 mmc->class_dev.power.qos 0
PARAM_VALUE 0 mmc->class_dev.power.request 0
PARAM_VALUE 0 mmc->class_dev.power.request_pending 0
PARAM_VALUE 0 mmc->class_dev.power.runtime_auto 1
PARAM_VALUE 0 mmc->class_dev.power.runtime_error 0
PARAM_VALUE 0 mmc->class_dev.power.runtime_status 2
PARAM_VALUE 0 mmc->class_dev.power.timer_expires 0
PARAM_VALUE 0 mmc->class_dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.power.wait_queue.head.next->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.power.wait_queue.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->class_dev.power.wait_queue.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmc->fixed_drv_type (-22)
PARAM_VALUE 0 mmc->index 0-s32max
PARAM_VALUE 0 mmc->ios.power_delay_ms 10
PARAM_VALUE 0 mmc->ios.power_mode 3
PARAM_VALUE 0 mmc->max_blk_count 0-1048560
PARAM_VALUE 0 mmc->max_req_size 0-536862720
PARAM_VALUE 0 mmc->ops 8672496720698032128
PARAM_VALUE 0 mmc->parent 4096-ptr_max
PARAM_VALUE 0 mmc->parent->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 mmc->parent->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->parent->devres_head.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mmc->private->cd_inverted 0-1
PARAM_VALUE 0 mmc->private->clk_sdmmc 0,4096-ptr_max
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->dev->power.request 0-4
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->dev->power.request_pending 0-1
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->enable_count 0-4294967295
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->dev->power.request 0-4
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->prepare_count 1-4294967295
PARAM_VALUE 0 mmc->private->clk_sdmmc->core->protect_count 0-4294967295
PARAM_VALUE 0 mmc->private->dev 4096-ptr_max
PARAM_VALUE 0 mmc->private->dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 0 mmc->private->dma_desc_buffer 0-ptr_max
PARAM_VALUE 0 mmc->private->irq_dma s32min-(-1),1-s32max
PARAM_VALUE 0 mmc->private->irq_regular s32min-(-1),1-s32max
PARAM_VALUE 0 mmc->private->mmc 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.class 7305885352085544960
PARAM_VALUE 0 mmc->private->mmc->class_dev.devres_head.next 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.dma_io_tlb_mem 1473117533515866112
PARAM_VALUE 0 mmc->private->mmc->class_dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.dma_io_tlb_pools.prev 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.dma_pools.next 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.dma_pools.prev 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 mmc->private->mmc->class_dev.kobj.ktype 5399513539053756416
PARAM_VALUE 0 mmc->private->mmc->class_dev.kobj.state_initialized 1
PARAM_VALUE 0 mmc->private->mmc->class_dev.links.consumers.next 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.links.consumers.prev 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.links.defer_sync.next 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.links.defer_sync.prev 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.links.suppliers.next 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.links.suppliers.prev 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.numa_node (-1)
PARAM_VALUE 0 mmc->private->mmc->class_dev.parent 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.power.async_suspend 1
PARAM_VALUE 0 mmc->private->mmc->class_dev.power.disable_depth 1
PARAM_VALUE 0 mmc->private->mmc->class_dev.power.early_init 1
PARAM_VALUE 0 mmc->private->mmc->class_dev.power.entry.next 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.power.entry.prev 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.power.last_status (-1)
PARAM_VALUE 0 mmc->private->mmc->class_dev.power.runtime_auto 1
PARAM_VALUE 0 mmc->private->mmc->class_dev.power.runtime_status 2
PARAM_VALUE 0 mmc->private->mmc->class_dev.power.wait_queue.head.next 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->class_dev.power.wait_queue.head.prev 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->fixed_drv_type (-22)
PARAM_VALUE 0 mmc->private->mmc->index 0-s32max
PARAM_VALUE 0 mmc->private->mmc->ios.power_delay_ms 10
PARAM_VALUE 0 mmc->private->mmc->ios.power_mode 3
PARAM_VALUE 0 mmc->private->mmc->max_blk_count 0-1048560
PARAM_VALUE 0 mmc->private->mmc->max_req_size 0-536862720
PARAM_VALUE 0 mmc->private->mmc->ops 8672496720698032128
PARAM_VALUE 0 mmc->private->mmc->parent 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->rescan_disable 1
PARAM_VALUE 0 mmc->private->mmc->retune_timer.flags 0-4194302
PARAM_VALUE 0 mmc->private->mmc->slot.cd_irq (-22)
PARAM_VALUE 0 mmc->private->mmc->slot.handler_priv 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->wq.head.next 4096-ptr_max
PARAM_VALUE 0 mmc->private->mmc->wq.head.prev 4096-ptr_max
PARAM_VALUE 0 mmc->private->power_inverted 0-1
PARAM_VALUE 0 mmc->rescan_disable 1
PARAM_VALUE 0 mmc->retune_timer.entry.pprev 0
PARAM_VALUE 0 mmc->retune_timer.flags 0-4194302
PARAM_VALUE 0 mmc->retune_timer.lockdep_map->name 0-255
PARAM_VALUE 0 mmc->slot.cd_irq (-22)
PARAM_VALUE 0 mmc->slot.handler_priv 4096-ptr_max
PARAM_VALUE 0 mmc->wq.head.next 4096-ptr_max
PARAM_VALUE 0 mmc->wq.head.next->next 4096-ptr_max
PARAM_VALUE 0 mmc->wq.head.prev 4096-ptr_max
PARAM_VALUE 0 mmc->wq.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mmc->wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mmc->ws 0,4096-ptr_max
PARAM_VALUE 0 mmc->ws->active 0
PARAM_VALUE 0 mmc->ws->entry.next 0,4096-ptr_max
PARAM_VALUE 0 mmc->ws->entry.prev 0,7526613115932463104
PARAM_VALUE 0 mmc->ws->entry.prev->prev 7526613115932463104
PARAM_VALUE 0 mmc->ws->id 0-s32max
PARAM_VALUE 0 mmc->ws->name 4096-ptr_max
PARAM_VALUE 0 mmc->ws->timer.entry.pprev 0
PARAM_VALUE 0 mmc->ws->timer.flags 0-4194302
PARAM_VALUE 0 mmc->ws->timer.lockdep_map->name 0-255
BUF_SIZE 0 mmc 3456-s32max
BUF_SIZE 0 mmc 3456-s32max
BUF_SIZE 0 mmc->ops 216
DATA_SOURCE 0 mmc r devm_mmc_alloc_host
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/wmt-sdmmc.c wmt_mci_set_ios() -> wmt_reset_hardware()

Type Parameter Key Value
PARAM_VALUE 0 mmc 4096-ptr_max
PARAM_VALUE 0 mmc->bus_ops->alive 1906702137495691264,4100673312553930752,8240428867100008448,8536880801271664640
PARAM_VALUE 0 mmc->bus_ops->cache_enabled 0,1098733984586403840,4881299913085493248
PARAM_VALUE 0 mmc->bus_ops->detect 245931203581796352,1542872396865765376,1875366231697330176,4093061870799568896
PARAM_VALUE 0 mmc->bus_ops->flush_cache 0,3587622788017254400,7818510581524353024
PARAM_VALUE 0 mmc->bus_ops->handle_undervoltage 0,5715618764364496896
PARAM_VALUE 0 mmc->bus_ops->pre_suspend 0,1083409855367589888
PARAM_VALUE 0 mmc->bus_ops->remove 2795767785232470016,4061658381353811968,4908634697295884288,8421056737440350208
PARAM_VALUE 0 mmc->bus_ops->resume 3931261325286801408,4221290554353364992,6069926845157036032,8924422233890791424
PARAM_VALUE 0 mmc->bus_ops->runtime_resume 1928456666478362624,2360134597016772608,5606383331103363072,5665944524184592384
PARAM_VALUE 0 mmc->bus_ops->runtime_suspend 3539196923992891392,3998081179798327296,4957148204940177408,5876214581270134784
PARAM_VALUE 0 mmc->bus_ops->shutdown 0,518975296561233920,3666404095795548160,4774049372095610880
PARAM_VALUE 0 mmc->bus_ops->suspend 3666404095795548160,4717438414900617216,4774049372095610880,8774612123753914368
PARAM_VALUE 0 mmc->bus_ops->sw_reset 0,227273881174773760
PARAM_VALUE 0 mmc->card->dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 mmc->card->dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 mmc->card->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 mmc->card->host->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mmc->card->host->debugfs_root->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mmc->class_dev.dma_io_tlb_mem->phys_limit 0-s64max
PARAM_VALUE 0 mmc->class_dev.kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 mmc->class_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 mmc->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mmc->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 mmc->debugfs_root->d_inode->i_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 mmc->debugfs_root->d_inode->i_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 mmc->debugfs_root->d_sb->__s_d_op->d_automount 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016
PARAM_VALUE 0 mmc->debugfs_root->d_sb->__s_d_op->d_init 0,2385819921126617088,7057831443282669568,7824184004865302528
PARAM_VALUE 0 mmc->debugfs_root->d_sb->__s_d_op->d_iput 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736
PARAM_VALUE 0 mmc->debugfs_root->d_sb->__s_d_op->d_manage 0,1859587847549206528
PARAM_VALUE 0 mmc->debugfs_root->d_sb->__s_d_op->d_prune 0,2225594340392566784,7225953709177749504
PARAM_VALUE 0 mmc->debugfs_root->d_sb->__s_d_op->d_real 0,4509355519306412032
PARAM_VALUE 0 mmc->debugfs_root->d_sb->__s_d_op->d_unalias_trylock 0,6635409759016140800
PARAM_VALUE 0 mmc->debugfs_root->d_sb->__s_d_op->d_unalias_unlock 0,6336447517789900800
PARAM_VALUE 0 mmc->debugfs_root->d_sb->__s_d_op->d_weak_revalidate 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328
PARAM_VALUE 0 mmc->ops 4096-ptr_max
PARAM_VALUE 0 mmc->parent->cma_area->nranges s32min-s32max
PARAM_VALUE 0 *mmc->card->host->err_stats 0-4294967295
PARAM_VALUE 0 *mmc->err_stats 0-4294967295
BUF_SIZE 0 mmc s32min-(-1),1-s32max
BUF_SIZE 0 mmc s32min-(-1),1-s32max
BUF_SIZE 0 mmc->ops (-1),216
DATA_SOURCE 0 mmc $0
NOSPEC 0 mmc->ios.clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 mmc->fail_mmc_request.stacktrace_depth 0-u64max
USER_DATA 0 mmc->ios.clock 0-s32max[c]
NO_OVERFLOW_SIMPLE 0 mmc->card->debugfs_root->d_fsdata->d_fsdata
NO_OVERFLOW_SIMPLE 0 mmc->card->dev.physical_location
NO_OVERFLOW_SIMPLE 0 mmc->card->host->ios.clock
NO_OVERFLOW_SIMPLE 0 mmc->ios.clock
NO_OVERFLOW_SIMPLE 0 mmc->supply.vqmmc2->rdev->mutex.ctx->deadlock_inject_countdown
NO_OVERFLOW_SIMPLE 0 mmc->supply.vqmmc2->rdev->mutex.ctx->deadlock_inject_interval