Fixed remaining uint8 core_id in FCNode definition.
authorMark Nevill <nevillm@ethz.ch>
Tue, 24 Jan 2012 16:03:05 +0000 (17:03 +0100)
committerMark Nevill <nevillm@ethz.ch>
Tue, 24 Jan 2012 16:03:05 +0000 (17:03 +0100)
capabilities/caps.hl

index 407f4ea..06dfc3d 100644 (file)
@@ -93,7 +93,7 @@ cap FCNode {
      eq genpaddr cnode;            /* Base address of CNode */
      eq uint8 bits;                /* Number of bits this CNode resolves */
      caprights rightsmask;
-     eq uint8 core_id;             /* The core the cap is local on */
+     eq coreid core_id;     /* The core the cap is local on */
      uint8 guard_size;             /* Number of bits in guard */
      caddr guard;           /* Bitmask already resolved when reaching this CNode */
 };