google3/third_party/grte/v4_src/glibc-2.19/sysdeps/x86_64/fpu/multiarch/dosincos-fma4.c

#define __docos __docos_fma4
#define __dubcos __dubcos_fma4
#define __dubsin __dubsin_fma4
#define SECTION __attribute__ ((section (".text.fma4")))

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