Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/mmc/host/renesas_sdhi_core.c renesas_sdhi_remove() -> tmio_mmc_host_remove()

Type Parameter Key Value
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 host unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/mmc/host/tmio_mmc_core.c tmio_mmc_host_probe() -> tmio_mmc_host_remove()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->bounce_buf 0,18379471554275704832,18446612682070032384
PARAM_VALUE 0 host->chan_rx 0,4096-ptr_max
PARAM_VALUE 0 host->chan_rx->client_count 1-s32max
PARAM_VALUE 0 host->chan_rx->completed_cookie 1
PARAM_VALUE 0 host->chan_rx->cookie 1
PARAM_VALUE 0 host->chan_rx->device 4096-ptr_max
PARAM_VALUE 0 host->chan_rx->device->owner->state 0-1,3-u32max
PARAM_VALUE 0 host->chan_rx->device->ref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 host->chan_tx 0,4096-ptr_max
PARAM_VALUE 0 host->chan_tx->client_count 1-s32max
PARAM_VALUE 0 host->chan_tx->completed_cookie 1
PARAM_VALUE 0 host->chan_tx->cookie 1
PARAM_VALUE 0 host->chan_tx->device 4096-ptr_max
PARAM_VALUE 0 host->chan_tx->device->owner->state 0-1,3-u32max
PARAM_VALUE 0 host->chan_tx->device->ref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 host->clk_disable 4045419651387633664,8922552492473192448
PARAM_VALUE 0 host->clk_enable 1759386483730038784,4676687750080356352
PARAM_VALUE 0 host->ctl 4096-ptr_max
PARAM_VALUE 0 host->dma_ops 970448504928419840,6329663082883141632,7243174879109271552,7749421272846086144
PARAM_VALUE 0 host->dma_ops->dma_irq 0,4096-ptr_max
PARAM_VALUE 0 host->ios_lock.dep_map->name 0-255
PARAM_VALUE 0 host->ios_lock.first_waiter 0
PARAM_VALUE 0 host->ios_lock.magic 4096-ptr_max
PARAM_VALUE 0 host->ios_lock.osq.tail.counter 0
PARAM_VALUE 0 host->ios_lock.owner.counter 0
PARAM_VALUE 0 host->mmc 4096-ptr_max
PARAM_VALUE 0 host->mmc->class_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->mmc->class_dev.kobj.state_in_sysfs 0
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,3
PARAM_VALUE 0 host->mmc->class_dev.power.needs_force_resume 0
PARAM_VALUE 0 host->mmc->class_dev.power.qos->freq.max_freq.default_value s32max
PARAM_VALUE 0 host->mmc->class_dev.power.qos->freq.max_freq.no_constraint_value s32max
PARAM_VALUE 0 host->mmc->class_dev.power.qos->freq.max_freq.target_value s32max
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 host->mmc->crypto_profile.lock.first_waiter->type 0-1
PARAM_VALUE 0 host->mmc->f_min 1-u32max
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 1-u32max
PARAM_VALUE 0 host->mmc->max_blk_size 512
PARAM_VALUE 0 host->mmc->max_segs 1-u16max
PARAM_VALUE 0 host->mmc->need_retune 1
PARAM_VALUE 0 host->mmc->ocr_avail 1-s32max
PARAM_VALUE 0 host->mmc->parent 4096-ptr_max
PARAM_VALUE 0 host->mmc->parent->devres_head.prev->next 4096-ptr_max
PARAM_VALUE 0 host->mmc->parent->devres_head.prev->next->next 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->supply.vmmc 4096-18446744073709551098,(-516)-(-1)
PARAM_VALUE 0 host->mmc->supply.vqmmc 4096-18446744073709551098,(-516)-(-1)
PARAM_VALUE 0 host->mmc->supply.vqmmc2 4096-18446744073709551098,(-516)-(-1)
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->ops.post_req 4053597785652858880
PARAM_VALUE 0 host->ops.pre_req 3588163104913113088
PARAM_VALUE 0 host->pdata 4096-ptr_max
PARAM_VALUE 0 host->pdev 4096-ptr_max
PARAM_VALUE 0 host->pdev->dev.devres_head.prev 4096-ptr_max
PARAM_VALUE 0 host->pdev->dev.dma_mask 0,4096-ptr_max
PARAM_VALUE 0 host->pdev->dev.power.last_status (-1)
PARAM_VALUE 0 host->pdev->dev.power.qos 0,4096-u64max
PARAM_VALUE 0 host->pdev->dev.power.request 0-4
PARAM_VALUE 0 host->pdev->dev.power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->pdev->dev.power.runtime_status 0,2
PARAM_VALUE 0 host->pdev->dev.power.usage_count.counter 0-s32max
PARAM_VALUE 0 host->pdev->dev.power.use_autosuspend 1
PARAM_VALUE 0 host->pdev->dev.power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->pdev->num_resources 1-u32max
PARAM_VALUE 0 host->sdcard_irq_mask_all 1-u32max
PARAM_VALUE 0 host->sdio_irq_enabled 0
PARAM_VALUE 0 host->set_clock 3456369816111869952,7971117703661240320
BUF_SIZE 0 host->dma_ops (-1),64
BUF_SIZE 0 host->pdata 72
CAPPED_DATA 0 host->pdev->num_resources 1
DATA_SOURCE 0 host $0
FUZZY_MAX 0 host->mmc->max_segs 32
FUZZY_MAX 0 host->sdcard_irq_mask_all 2340356893
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/uniphier-sd.c uniphier_sd_remove() -> tmio_mmc_host_remove()

Type Parameter Key Value
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 host unit_byte
HALF_LOCKED2 &_dev->mutex