+#ifdef ARM_FPU_FPA
+#define MONO_DOUBLE_ASSERT_ENDIANITY(dbl_ptr) \
+ do { \
+ mono_rdouble r; \
+ r.fval = *dbl_ptr; \
+ r.ival = (guint64) *((guint32 *) r.cval) << 32 | \
+ *((guint32 *) (r.cval + 4)); \
+ *dbl_ptr = r.fval; \
+ } while (0)
+#else
+#define MONO_DOUBLE_ASSERT_ENDIANITY(dbl_ptr)
+#endif
+