int plat_rescan_inputs(void); int plat_cpu_clock_get(void); int plat_cpu_clock_apply(int cpu_clock); int plat_get_bat_capacity(void);