Added coreid type.
authorMark Nevill <nevillm@ethz.ch>
Mon, 23 Jan 2012 11:59:14 +0000 (12:59 +0100)
committerMark Nevill <nevillm@ethz.ch>
Mon, 23 Jan 2012 11:59:14 +0000 (12:59 +0100)
capabilities/caps.hl
tools/hamlet/HamletAst.lhs
tools/hamlet/HamletBackend.lhs

index 2522fc2..407f4ea 100644 (file)
@@ -256,19 +256,19 @@ cap IO {
 
 /* really RCK notify caps */
 cap Notify_RCK {
-    eq uint8 coreid;
+    eq coreid coreid;
     eq uint16 chanid;
 };
 
 /* IPI notify caps */
 cap Notify_IPI {
-    eq uint8 coreid;
+    eq coreid coreid;
     eq uint16 chanid;
 };
 
 /* Beehive HW message passing endpoint */
 cap BMPEndPoint {
-    eq uint8 coreid;
+    eq coreid coreid;
     eq uint16 chanid;
 };
 
index 46740eb..56646aa 100644 (file)
 >           | CAddr
 >           | Pointer String
 >           | CapRights
+>           | CoreId
 >             deriving Show
 
 > instance Read Type where
 >         | s == "lvaddr" = [(LVAddr, "")]
 >         | s == "caddr" = [(CAddr, "")]
 >         | s == "caprights" = [(CapRights, "")]
+>         | s == "coreid" = [(CoreId, "")]
 >         | otherwise = [(Pointer s, "")]
 
 > data AddressExpr = AddressExpr Expr | MemToPhysOp Expr
index df2c414..db0265f 100644 (file)
 >           toFofType CAddr = typedef uint32T "caddr_t"
 >           toFofType (Pointer s) = typedef uint64T (s ++ "*")
 >           toFofType CapRights = capRightsT
+>           toFofType CoreId = typedef uint8T "coreid_t"
 
 > capsStructT :: Capabilities -> TypeExpr
 > capsStructT cap = structST  "capability" (mkCapsStruct cap)