/sysdeps/powerpc/powerpc64/be/power10/fpu/