plat_time_init 23 arch/mips/include/asm/time.h extern void plat_time_init(void); plat_time_init 90 arch/mips/kernel/time.c plat_time_init();