linux/kernel/include/asm-mips/sgi
