void __init plat_time_init(void) { int t; t = alchemy_get_cputype(); if (t == ALCHEMY_CPU_UNKNOWN || alchemy_time_init(alchemy_m2inttab[t])) cpu_wait = NULL; /* wait doesn't work with r4k timer */ }
void __init plat_time_init(void) { int t; t = alchemy_get_cputype(); if (t == ALCHEMY_CPU_UNKNOWN) alchemy_setup_c0timer(); else if (alchemy_time_init(alchemy_m2inttab[t])) alchemy_setup_c0timer(); }