#define __doasin __doasin_fma4

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

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