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