Move flags field in cap representation to match sail

2019-05-26 16:26:56 +01:00
parent 4003a436fc
commit a425686321
1 changed files with 1 additions and 1 deletions
--- a/CHERICC_Fat.bsv
+++ b/CHERICC_Fat.bsv
@@ -127,8 +127,8 @@ typedef TSub#(CapW,TAdd#(CapAddressW,TAdd#(OTypeW,TAdd#(CBoundsW,TAdd#(PermsW, F
 typedef struct {
  Bool          isCapability;
  Perms         perms;
-  Bit#(FlagsW)  flags;
  Bit#(ResW)    reserved;
+  Bit#(FlagsW)  flags;
  Bit#(OTypeW)  otype;
  CBounds       bounds;
  CapAddress    address;