path: root/sysdeps/x86_64/fpu/multiarch/brandred-fma4.c

#define __branred __branred_fma4
#define SECTION __attribute__ ((section (".text.fma4")))

#include <sysdeps/ieee754/dbl-64/branred.c>