libc/sysdeps/mips/mips64