Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/mmc/host/sdhci-msm.c sdhci_msm_set_vqmmc() -> msm_toggle_vqmmc()

Type Parameter Key Value
PARAM_VALUE 0 msm_host 4096-ptr_max
PARAM_VALUE 0 msm_host->offset 4096-ptr_max
PARAM_VALUE 0 msm_host->var_ops 4096-ptr_max
PARAM_VALUE 1 mmc 4096-ptr_max
PARAM_VALUE 1 mmc->ios.power_mode 0-2,4-255
PARAM_VALUE 1 mmc->ops 4096-ptr_max
PARAM_VALUE 1 mmc->supply.vmmc->enable_count 0-4294967295
PARAM_VALUE 1 mmc->supply.vmmc->rdev->ena_gpio_state 0-1
PARAM_VALUE 1 mmc->supply.vmmc->rdev->ena_pin->enable_count 0-4294967295
PARAM_VALUE 1 mmc->supply.vmmc->rdev->notifier.head->priority s32min-s32max
PARAM_VALUE 1 mmc->supply.vmmc->rdev->ref_cnt s32min-s32max
PARAM_VALUE 1 mmc->supply.vmmc->rdev->reg_data->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 mmc->supply.vmmc->rdev->supply->enable_count 0-4294967295
PARAM_VALUE 1 mmc->supply.vmmc->rdev->use_count 0-4294967295
PARAM_VALUE 1 mmc->supply.vmmc->uA_load s32min-s32max
PARAM_VALUE 1 mmc->supply.vqmmc 0-ptr_max
DATA_SOURCE 0 msm_host $0
DATA_SOURCE 1 mmc $1
DATA_SOURCE 2 level $2
BIT_INFO 2 level 0x0,0x0
RX_PATH
TASK_NOT_RUNNING