#include <sysdeps/powerpc/power7/fpu/s_logbf.c>