ports/sysdeps/mips/mips32
