Open Menu /

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/mmc/core/mmc.c mmc_set_bus_speed() -> mmc_card_hs()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->host 4096-ptr_max
DATA_SOURCE 0 card $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 card->host->fail_mmc_request.stacktrace_depth 0-u64max
NO_OVERFLOW_SIMPLE 0 card->debugfs_root->d_fsdata
NO_OVERFLOW_SIMPLE 0 card->debugfs_root->d_fsdata->d_fsdata
NO_OVERFLOW_SIMPLE 0 card->dev.dma_range_map
NO_OVERFLOW_SIMPLE 0 card->dev.p
NO_OVERFLOW_SIMPLE 0 card->dev.p->deferred_probe_reason
NO_OVERFLOW_SIMPLE 0 card->dev.physical_location
NO_OVERFLOW_SIMPLE 0 card->host->ios.clock

drivers/mmc/core/sd.c mmc_sd_get_max_clock() -> mmc_card_hs()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->host 4096-ptr_max
DATA_SOURCE 0 card $0

drivers/mmc/core/sdio.c mmc_sdio_get_max_clock() -> mmc_card_hs()

Type Parameter Key Value
DATA_SOURCE 0 card $0

drivers/mmc/core/bus.c mmc_add_card() -> mmc_card_hs()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->host 4096-ptr_max
DATA_SOURCE 0 card $0
HALF_LOCKED2 &pool->lock

drivers/net/wireless/rsi/rsi_91x_sdio.c rsi_reset_card() -> mmc_card_hs()

Type Parameter Key Value
PARAM_VALUE 0 card 4096-ptr_max
PARAM_VALUE 0 card->host 4096-ptr_max
PARAM_VALUE 0 card->host->ios.timing 0,2
FUZZY_MAX 0 card->host->ios.timing 2
HARD_MAX 0 card->host->ios.timing 2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &common->mutex
HALF_LOCKED2 &dev->mutex