mips_sc_init     1609 arch/mips/mm/c-r4k.c extern int mips_sc_init(void);
mips_sc_init     1674 arch/mips/mm/c-r4k.c 			if (mips_sc_init ()) {