+ /* FIXME: The CMU CL we forked off of had this Linux-only
+ * operation here. Newer CMU CLs (e.g. 18c) have hairier
+ * Linux/i386-only logic here. SBCL seems to be more reliable
+ * without anything here. However, if we start supporting code
+ * which sets the rounding mode, then we may want to do something
+ * special to force the rounding mode back to some standard value
+ * here, so that ISRs can have a standard environment. (OTOH, if
+ * rounding modes are under user control, then perhaps we should
+ * leave this up to the user.)
+ *
+ * For now we just suppress this code completely (just like the
+ * parallel code in maybe_now_maybe_later).
+ * #ifdef __linux__
+ * SET_FPU_CONTROL_WORD(context->__fpregs_mem.cw);
+ * #endif
+ */