sb1250_clocksource_init 7 arch/mips/sibyte/sb1250/time.c extern void sb1250_clocksource_init(void); sb1250_clocksource_init 12 arch/mips/sibyte/sb1250/time.c sb1250_clocksource_init();