linux/kernel/arch/mips64/sgi-ip22
