Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci_f_sdh30.c sdhci_f_sdh30_remove() -> sdhci_f_sdhost_priv()

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
UNITS 0 host unit_byte
HALF_LOCKED2 &_dev->mutex

drivers/mmc/host/sdhci_f_sdh30.c sdhci_f_sdh30_reset() -> sdhci_f_sdhost_priv()

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->complete_wq (-1),512,528-8720
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
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 host->caps 0-u32max[c]
HOST_DATA 0 host->caps1 0-u32max[c]
HOST_DATA 0 host->ier 0-u32max[c]
HOST_DATA 0 host->mmc->f_max 0[c]
HOST_DATA 0 host->mmc->max_busy_timeout 0[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->thread_isr 0-u32max[c]
HOST_DATA 0 host->version 0-u16max
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_off
NO_OVERFLOW_SIMPLE 0 host->led.blink_delay_on
NO_OVERFLOW_SIMPLE 0 host->sg_count
HALF_LOCKED2 0 &host->lock

drivers/mmc/host/sdhci_f_sdh30.c sdhci_f_sdh30_soft_voltage_switch() -> sdhci_f_sdhost_priv()

Type Parameter Key Value
PARAM_VALUE 0 host 4096-ptr_max
DATA_SOURCE 0 host $0
BIT_INFO 0 host->flags 0x8000,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING