Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/acpi/cppc_acpi.c cppc_get_auto_act_window() -> cppc_get_reg_val()

Type Parameter Key Value
PARAM_VALUE 1 reg_idx 16
PARAM_VALUE 2 val 5210145325478199296
DATA_SOURCE 0 cpu $0

drivers/acpi/cppc_acpi.c cppc_get_auto_sel() -> cppc_get_reg_val()

Type Parameter Key Value
PARAM_VALUE 1 reg_idx 15
PARAM_VALUE 2 val 3064502969030950912
DATA_SOURCE 0 cpu $0

drivers/acpi/cppc_acpi.c cppc_get_desired_perf() -> cppc_get_reg_val()

Type Parameter Key Value
PARAM_VALUE 1 reg_idx 5
DATA_SOURCE 0 cpu $0
DATA_SOURCE 2 val $1

drivers/acpi/cppc_acpi.c cppc_get_epp_perf() -> cppc_get_reg_val()

Type Parameter Key Value
PARAM_VALUE 1 reg_idx 17
PARAM_VALUE 2 val 8375170261423861760
DATA_SOURCE 0 cpu $0
DATA_SOURCE 2 val $1

drivers/acpi/cppc_acpi.c cppc_get_highest_perf() -> cppc_get_reg_val()

Type Parameter Key Value
PARAM_VALUE 1 reg_idx 0
PARAM_VALUE 2 val 6353388111568838656
DATA_SOURCE 0 cpu $0
DATA_SOURCE 2 val $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

drivers/acpi/cppc_acpi.c cppc_get_nominal_perf() -> cppc_get_reg_val()

Type Parameter Key Value
PARAM_VALUE 1 reg_idx 1
DATA_SOURCE 0 cpu $0
DATA_SOURCE 2 val $1

drivers/acpi/cppc_acpi.c cppc_get_perf_limited() -> cppc_get_reg_val()

Type Parameter Key Value
PARAM_VALUE 1 reg_idx 13
PARAM_VALUE 2 val 1562080762442166272
DATA_SOURCE 0 cpu $0
DATA_SOURCE 2 val $1