linux/kernel/arch/mips/sgi
