Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci-tegra.c sdhci_tegra_probe() -> sdhci_tegra_program_stream_id()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->led.dev->kobj.parent->sd->attr.open->nr_mmapped 0-4294967295
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->caps 0,268435456-u32max
PARAM_VALUE 0 host->mmc->class_dev.kobj.sd->attr.open->nr_mmapped 0-4294967295
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_disable 4068934353236983808,6336699593261330432
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_enable 2353700470644682752,4438057033843765248
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_off 0,1278036848093978624
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_post_req 69112578807832576,761825445855023104
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_recovery_finish 798511935148539904,4118204743152734208
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_recovery_start 92399166401212416,7299643949535535104
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_request 3947029797050339328,8004223914298208256
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_timeout 0,7076973505839443968
PARAM_VALUE 0 host->mmc->cqe_ops->cqe_wait_for_idle 8134864024895033344,8850574933161476096
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->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->platform_execute_tuning 0,4096-ptr_max
PARAM_VALUE 0 host->private->clk 0,4096-ptr_max
PARAM_VALUE 0 host->private->private 4096-ptr_max
PARAM_VALUE 0 *host->led_name 0-255
PARAM_VALUE 0 *host->mmc->err_stats 0-4294967295
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
HOST_DATA 0 host->led.dev->shost->hostdata->saved_fault_code 0-u16max
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_resume() -> sdhci_tegra_program_stream_id()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
PARAM_VALUE 0 host->mmc 4096-ptr_max
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