T187: reorder CNode fields to not generate unaligned accesses
authorSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 23 Nov 2015 14:47:03 +0000 (15:47 +0100)
committerSimon Gerber <simon.gerber@inf.ethz.ch>
Mon, 23 Nov 2015 16:40:47 +0000 (17:40 +0100)
Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

capabilities/caps.hl

index 602bda0..34981e9 100644 (file)
@@ -75,10 +75,10 @@ cap CNode from RAM {
     /* CNode table, stores further capabilities */
 
     lpaddr cnode;           /* Base address of CNode */
+    caddr guard;            /* Bitmask already resolved when reaching this CNode */
     uint8 bits;             /* Number of bits this CNode resolves */
     caprights rightsmask;
     uint8 guard_size;       /* Number of bits in guard */
-    caddr guard;            /* Bitmask already resolved when reaching this CNode */
 
     /**
       Address and size may also be specified with some very limited