void cpu_initclocks(void) { platform_initclocks(); cpu_initclocks_bsp(); }
void cpu_initclocks(void) { cpu_initclocks_bsp(); }