static void __init mx25_3stack_timer_init(void) { mx25_clocks_init(24000000); }
static void __init mx25pdk_timer_init(void) { mx25_clocks_init(); }
static void __init eukrea_cpuimx25_timer_init(void) { mx25_clocks_init(); }
static void __init armadillo_box_ws1_timer_init(void) { mx25_clocks_init(); }