Fix bug in libdomain/domain_cap_hash()
[barrelfish] / include / barrelfish_kpi / types.h
index 3b47d22..7522f9c 100644 (file)
@@ -117,7 +117,8 @@ typedef uint32_t rsrcid_t;
 #define PRIxRSRCID  PRIx32
 
 /* Domain ID */
-typedef uint32_t domainid_t;
+typedef uint32_t     domainid_t;
+#define MAX_DOMAINID 0xffffffff
 #define PRIuDOMAINID    PRIu32
 #define PRIxDOMAINID    PRIx32