/sysdeps/powerpc/powerpc64/be/power7/fpu/