diff -r fb126f2e3d84 -r d28f5fcba975 src/arch/alpha/isa/decoder.isa
--- a/src/arch/alpha/isa/decoder.isa	Thu Jun 09 02:07:37 2011 -0400
+++ b/src/arch/alpha/isa/decoder.isa	Thu Jun 09 02:15:42 2011 -0400
@@ -935,7 +935,7 @@
   0x1e: decode PALMODE {
       0: OpcdecFault::hw_rei();
         format BasicOperate {
-          1: hw_rei({{ xc->hwrei(); }}, IsSerializing, IsSerializeBefore);
+          1: hw_rei({{ xc->hwrei(); }}, IsSerializing, IsSerializeBefore, IsControl);
         }
     }