Open Menu /

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/ufs/host/ufshcd-pci.c ufs_intel_device_reset() -> intel_dsm()

Type Parameter Key Value
PARAM_VALUE 2 fn 1
PARAM_VALUE 3 result 15545652775206912
PARAM_VALUE 3 *result 0
BUF_SIZE 0 intel_host 32,40,48,72,216
BUF_SIZE 0 intel_host 32,40,48,72,216
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &hba->host_sem

drivers/mmc/host/sdhci-acpi.c intel_dsm_init() -> intel_dsm()

Type Parameter Key Value
PARAM_VALUE 0 intel_host 4096-ptr_max
PARAM_VALUE 0 intel_host->hs_caps u32max
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->bus 0,4096-ptr_max
PARAM_VALUE 1 dev->class 0,4096-ptr_max
PARAM_VALUE 1 dev->devres_head.prev 4096-ptr_max
PARAM_VALUE 1 dev->driver 0,4096-ptr_max
PARAM_VALUE 1 dev->driver_data 4096-ptr_max
PARAM_VALUE 2 fn 8
PARAM_VALUE 3 result 4096-ptr_max
PARAM_VALUE 3 *result u32max
DATA_SOURCE 0 intel_host $0
DATA_SOURCE 1 dev $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/mmc/host/sdhci-acpi.c intel_start_signal_voltage_switch() -> intel_dsm()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 fn 3-4
PARAM_VALUE 3 result 8806270328042590208
PARAM_VALUE 3 *result 0
FUZZY_MAX 2 fn 4
HARD_MAX 2 fn 4
RX_PATH
TASK_NOT_RUNNING
UNITS 1 dev unit_byte

drivers/mmc/host/sdhci-acpi.c sdhci_acpi_reset_signal_voltage_if_needed() -> intel_dsm()

Type Parameter Key Value
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 1 dev->power.wakeirq->status 0-4294967295
PARAM_VALUE 2 fn 4
PARAM_VALUE 3 result 4750213498659987456
PARAM_VALUE 3 *result 0
BUF_SIZE 1 dev (-1),4,16,24-s32max
BUF_SIZE 1 dev (-1),4,16,24-s32max
DATA_SOURCE 1 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 1 &dev->mutex

drivers/mmc/host/sdhci-pci-core.c intel_dsm_init() -> intel_dsm()

Type Parameter Key Value
PARAM_VALUE 0 intel_host 4096-ptr_max
PARAM_VALUE 0 intel_host->d3_retune 1
PARAM_VALUE 0 intel_host->dsm_fns 0-255
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 fn 9
PARAM_VALUE 3 result 6420772498648154112
BUF_SIZE 1 dev 1616
DATA_SOURCE 0 intel_host $0
DATA_SOURCE 1 dev $1
RX_PATH
TASK_NOT_RUNNING

drivers/mmc/host/sdhci-pci-core.c intel_dsm_init() -> intel_dsm()

Type Parameter Key Value
PARAM_VALUE 0 intel_host 4096-ptr_max
PARAM_VALUE 0 intel_host->d3_retune 1
PARAM_VALUE 0 intel_host->drv_strength 0-255
PARAM_VALUE 0 intel_host->dsm_fns 0-255
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 fn 10
PARAM_VALUE 3 result 6420772498648154112
BUF_SIZE 1 dev 1616
DATA_SOURCE 0 intel_host $0
DATA_SOURCE 1 dev $1
FUZZY_MAX 0 intel_host->drv_strength 0
RX_PATH
TASK_NOT_RUNNING

drivers/mmc/host/sdhci-pci-core.c intel_start_signal_voltage_switch() -> intel_dsm()

Type Parameter Key Value
PARAM_VALUE 2 fn 3-4
PARAM_VALUE 3 result 4948181375852851200
PARAM_VALUE 3 *result 0
FUZZY_MAX 2 fn 4
HARD_MAX 2 fn 4
RX_PATH
TASK_NOT_RUNNING
UNITS 1 dev unit_byte