786,789c786,789
< format BasicOperate {
< 0x1e: decode PALMODE {
< 0: OpcdecFault::hw_rei();
< 1:hw_rei({{ xc->hwrei(); }}, IsSerializing, IsSerializeBefore);
---
> 0x1e: decode PALMODE {
> 0: OpcdecFault::hw_rei();
> format BasicOperate {
> 1: hw_rei({{ xc->hwrei(); }}, IsSerializing, IsSerializeBefore);
790a791
> }
791a793,795
> #endif
>
> format BasicOperate {
793a798
> #if FULL_SYSTEM
808a814
> #endif
824a831
> #if FULL_SYSTEM
830a838
> #endif
842a851
> #if FULL_SYSTEM
845a855
> #endif
851a862
> #if FULL_SYSTEM
854a866
> #endif
875d886
< #endif