Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci.c sdhci_reset() -> sdhci_runtime_pm_bus_off()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host s32min-(-1),1-s32max
BUF_SIZE 0 host->cmd (-1)-0,72
BUF_SIZE 0 host->complete_wq (-1),512,528-8720
BUF_SIZE 0 host->data_cmd (-1)-0,72
BUF_SIZE 0 host->hw_name (-1),5
BUF_SIZE 0 host->irq s32min-(-1),1-s32max
BUF_SIZE 0 host->ops (-1),256
DATA_SOURCE 0 host $0
STR_LEN 0 host->hw_name (-1),4
BIT_INFO 0 host->quirks2 0x10,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 host->caps 0-u32max[c]
HOST_DATA 0 host->caps1 0-u32max[c]
HOST_DATA 0 host->drv_type 0-255[c]
HOST_DATA 0 host->ier 0-u32max[c]
HOST_DATA 0 host->mmc->f_max 0-u32max[c]
HOST_DATA 0 host->mmc->fail_mmc_request.stacktrace_depth 0-u64max
HOST_DATA 0 host->mmc->max_busy_timeout 0-2147483648[c]
HOST_DATA 0 host->mmc->uhs2_caps.dap 0-15
HOST_DATA 0 host->mmc->uhs2_caps.phy_rev 0-63
HOST_DATA 0 host->sg_miter.consumed 0-u32max[c]
HOST_DATA 0 host->sg_miter.piter.sg->length 1-2147483646[c]
HOST_DATA 0 host->thread_isr 0-u32max[c]
HOST_DATA 0 host->version 0-u16max
USER_DATA 0 host->max_clk 2-4294967294[c]
USER_DATA 0 host->mmc->actual_clock 1-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->align_addr
NO_OVERFLOW_SIMPLE 0 host->bounce_addr
NO_OVERFLOW_SIMPLE 0 host->bounce_buffer_size
NO_OVERFLOW_SIMPLE 0 host->clock
NO_OVERFLOW_SIMPLE 0 host->cmd->arg
NO_OVERFLOW_SIMPLE 0 host->complete_wq->rescuer
NO_OVERFLOW_SIMPLE 0 host->complete_wq->rescuer->task->dl.dl_runtime
NO_OVERFLOW_SIMPLE 0 host->complete_wq->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 host->data_cmd->arg
NO_OVERFLOW_SIMPLE 0 host->led.blink_brightness
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_on
NO_OVERFLOW_SIMPLE 0 host->led.brightness
NO_OVERFLOW_SIMPLE 0 host->led.dev->dma_range_map
NO_OVERFLOW_SIMPLE 0 host->led.dev->p
NO_OVERFLOW_SIMPLE 0 host->led.dev->p->deferred_probe_reason
NO_OVERFLOW_SIMPLE 0 host->led.dev->physical_location
NO_OVERFLOW_SIMPLE 0 host->led_name
NO_OVERFLOW_SIMPLE 0 host->mmc->card->host->ios.clock
NO_OVERFLOW_SIMPLE 0 host->mmc->ios.clock
NO_OVERFLOW_SIMPLE 0 host->rx_chan->dbg_client_name
NO_OVERFLOW_SIMPLE 0 host->rx_chan->name
NO_OVERFLOW_SIMPLE 0 host->sg_count
NO_OVERFLOW_SIMPLE 0 host->sg_miter.consumed
NO_OVERFLOW_SIMPLE 0 host->sg_miter.length
NO_OVERFLOW_SIMPLE 0 host->sg_miter.piter.__nents
NO_OVERFLOW_SIMPLE 0 host->sg_miter.piter.sg->length
NO_OVERFLOW_SIMPLE 0 host->tx_chan->dbg_client_name
NO_OVERFLOW_SIMPLE 0 host->tx_chan->name
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci.c sdhci_set_power_noreg() -> sdhci_runtime_pm_bus_off()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
DATA_SOURCE 0 host $0
BIT_INFO 0 host->quirks2 0x10,0xffffffff
NOSPEC 0 host->clock
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 host->clock 0-s32max[c]
USER_DATA 0 host->timeout_clk 0-2147483[c]
NO_OVERFLOW_SIMPLE 0 host->clock