cppc_get_dmi_max_khz
EXPORT_SYMBOL_GPL(cppc_get_dmi_max_khz);
max_khz = cppc_get_dmi_max_khz();
max_khz = cppc_get_dmi_max_khz();
u64 max_speed = cppc_get_dmi_max_khz();
extern u64 cppc_get_dmi_max_khz(void);