r5k_sc_init      1607 arch/mips/mm/c-r4k.c extern int r5k_sc_init(void);
r5k_sc_init      1646 arch/mips/mm/c-r4k.c 		r5k_sc_init();