X-Git-Url: http://git.barrelfish.org/?p=barrelfish;a=blobdiff_plain;f=include%2Fbarrelfish_kpi%2Finit.h;h=46693177f96bcd00b461af86fcca155158ef55a4;hp=9ee317304c2f8cbbdac4dbf6ea1fc80cc28836b6;hb=93751d0a5e46a8f299343d4cec3af642a117bd37;hpb=83ef51719466b23c8831892ebe930b8b69defdfa

diff --git a/include/barrelfish_kpi/init.h b/include/barrelfish_kpi/init.h
index 9ee3173..4669317 100644
--- a/include/barrelfish_kpi/init.h
+++ b/include/barrelfish_kpi/init.h
@@ -96,7 +96,8 @@
 #define TASKCN_SLOT_COREBOOT    16  ///< Copy of realmode section used to bootstrap a core
 #define TASKCN_SLOT_IPI         17  ///< Copy of IPI cap
 #define TASKCN_SLOT_PROC_MNG    18  ///< Cap for the process manager
-#define TASKCN_SLOTS_USER       19  ///< First free slot in taskcn for user
+#define TASKCN_SLOT_DOMAINID    19  ///< Domain ID cap
+#define TASKCN_SLOTS_USER       20  ///< First free slot in taskcn for user
 
 /* Page CNode */
 #define PAGECN_SLOT_VROOT       0 ///< First slot of page cnode is root page table