Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 22 files:

Smatch caller information:

drivers/mmc/host/sdhci-pltfm.c sdhci_pltfm_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 dead 0-1
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
FUZZY_MAX 1 dead 1
HARD_MAX 1 dead 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dead 0-1
UNITS 0 host unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/mmc/host/sdhci-xenon.c xenon_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 1 dead 0
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/sdhci_am654.c sdhci_am654_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 1 dead 1
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/sdhci-of-ma35d1.c ma35_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 1 dead 0
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/sdhci-pxav3.c sdhci_pxav3_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 1 dead 1
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/sdhci-acpi.c sdhci_acpi_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->ops 4096-ptr_max
PARAM_VALUE 1 dead 0-1
FUZZY_MAX 1 dead 1
HARD_MAX 1 dead 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dead 0-1
HALF_LOCKED2 &_dev->mutex

drivers/mmc/host/sdhci-of-aspeed.c aspeed_sdhci_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 1 dead 0
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/sdhci-uhs2.c sdhci_uhs2_remove_host() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 dead 0-1
DATA_SOURCE 0 host $0
DATA_SOURCE 1 dead $1
FUZZY_MAX 1 dead 1
HARD_MAX 1 dead 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/sdhci-omap.c sdhci_omap_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 1 dead 1
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/sdhci-spear.c sdhci_remove() -> sdhci_remove_host()

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

drivers/mmc/host/sdhci-pci-core.c sdhci_pci_remove_slot() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 dead 0-1
FUZZY_MAX 1 dead 1
HARD_MAX 1 dead 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/sdhci-of-dwcmshc.c dwcmshc_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 1 dead 0
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/sdhci-s3c.c sdhci_s3c_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 host->private->pdata 4096-ptr_max
PARAM_VALUE 1 dead 1
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/sdhci-sprd.c sdhci_sprd_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 1 dead 0
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/sdhci-bcm-kona.c sdhci_bcm_kona_probe() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->led.dev->kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->led.dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->led.trigger_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 host->led.trigger_lock.first_waiter->type 0-1
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->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_max 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 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->parent->cma_area->nranges s32min-s32max
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->ops 4096-ptr_max
PARAM_VALUE 0 host->ops->read_l 0,4096-ptr_max
PARAM_VALUE 0 host->ops->write_l 0,4096-ptr_max
PARAM_VALUE 0 host->private->clk 0,4096-ptr_max
PARAM_VALUE 0 host->private->clk->core->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.request 0-4
PARAM_VALUE 0 host->private->clk->core->dev->power.request_pending 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->private->clk->core->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->private->clk->core->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->private->clk->core->duty.den 0-4294967295
PARAM_VALUE 0 host->private->clk->core->duty.num 0-4294967295
PARAM_VALUE 0 host->private->clk->core->enable_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->new_parent_index 0-254
PARAM_VALUE 0 host->private->clk->core->notifier_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->num_parents 0-255
PARAM_VALUE 0 host->private->clk->core->orphan 0-1
PARAM_VALUE 0 host->private->clk->core->parent->dev->power.deferred_resume 0-1
PARAM_VALUE 0 host->private->clk->core->parent->dev->power.idle_notification 0-1
PARAM_VALUE 0 host->private->clk->core->parent->dev->power.request 0-4
PARAM_VALUE 0 host->private->clk->core->parent->dev->power.request_pending 0-1
PARAM_VALUE 0 host->private->clk->core->parent->dev->power.runtime_error s32min-(-17),(-15)-(-14),(-12),(-10)-s32max
PARAM_VALUE 0 host->private->clk->core->parent->dev->power.runtime_status s32min-s32max
PARAM_VALUE 0 host->private->clk->core->parent->dev->power.timer_autosuspends 0-1
PARAM_VALUE 0 host->private->clk->core->parent->dev->power.usage_count.counter s32min-s32max
PARAM_VALUE 0 host->private->clk->core->parent->dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 0 host->private->clk->core->parent->enable_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->parent->new_parent_index 0-254
PARAM_VALUE 0 host->private->clk->core->parent->prepare_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->parent->protect_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->phase s32min-s32max
PARAM_VALUE 0 host->private->clk->core->prepare_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->protect_count 0-4294967295
PARAM_VALUE 0 host->private->clk->core->rpm_enabled 0-1
PARAM_VALUE 0 host->private->private 4096-ptr_max
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
PARAM_VALUE 1 dead 0
CAPPED_DATA 0 host 1
DATA_SOURCE 0 host r sdhci_pltfm_init
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf s64min-s64max
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.auxiliary 0-4294967295
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.command 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.ctl 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.device 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.error 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.feature 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.flags s64min-s64max
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.hob_feature 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.hob_lbah 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.hob_lbal 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.hob_lbam 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.hob_nsect 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.lbah 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.lbal 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.lbam 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.nsect 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.protocol 0-255
HOST_DATA 0 host->led.dev->sata_dev.ap->link.ap->link.device->link->ap->result_tf.status 0-255
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_on
UNITS 0 host unit_byte

drivers/mmc/host/sdhci-tegra.c sdhci_tegra_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 1 dead 0
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/sdhci-esdhc-imx.c sdhci_esdhc_imx_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 dead 0-1
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
FUZZY_MAX 1 dead 1
HARD_MAX 1 dead 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dead 0-1
UNITS 0 host unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/mmc/host/sdhci-milbeaut.c sdhci_milbeaut_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 dead 0-1
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
FUZZY_MAX 1 dead 1
HARD_MAX 1 dead 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dead 0-1
UNITS 0 host unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/mmc/host/sdhci-pic32.c pic32_sdhci_remove() -> sdhci_remove_host()

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

drivers/mmc/host/sdhci-msm.c sdhci_msm_remove() -> sdhci_remove_host()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 1 dead 0-1
BUF_SIZE 0 host s32min-(-2),1-s32max
BUF_SIZE 0 host s32min-(-2),1-s32max
FUZZY_MAX 1 dead 1
HARD_MAX 1 dead 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 dead 0-1
UNITS 0 host unit_byte
HALF_LOCKED2 &_dev->mutex