src/lib/libm/arch/mips64
