xscale-linux/arch/mips64/sgi-ip32
