85 int arch_cpu_init_dm(void)  in arch_cpu_init_dm()  argument
103 void set_max_freq(void)  in set_max_freq()  argument
127 int arch_cpu_init(void)  in arch_cpu_init()  argument
134 int checkcpu(void)  in checkcpu()  argument
148 int print_cpuinfo(void)  in print_cpuinfo()  argument
165 static int pcode_ready(void)  in pcode_ready()  argument
302 static int calibrate_24mhz_bclk(void)  in calibrate_24mhz_bclk()  argument
338 static void configure_pch_power_sharing(void)  in configure_pch_power_sharing()  argument
399 int cpu_config_tdp_levels(void)  in cpu_config_tdp_levels()  argument
408 static void set_max_ratio(void)  in set_max_ratio()  argument
458 static void configure_mca(void)  in configure_mca()  argument
478 static void enable_lapic_tpr(void)  in enable_lapic_tpr()  argument
488 static void configure_c_states(void)  in configure_c_states()  argument
545 static void configure_misc(void)  in configure_misc()  argument
584 static void configure_dca_cap(void)  in configure_dca_cap()  argument