/sysdeps/powerpc/powerpc32/power10/fpu/