#define HAVE_FPU
#include <sysdeps/sh/dl-trampoline.S>