Symbol: cppc_get_dmi_max_khz
drivers/acpi/cppc_acpi.c
1989
max_khz = cppc_get_dmi_max_khz();
drivers/acpi/cppc_acpi.c
2027
max_khz = cppc_get_dmi_max_khz();