Changed cte size to 128 bytes.

diff --git a/capabilities/caps.hl b/capabilities/caps.hl
index 3f5243d..e4bc526 100644 (file)
--- a/capabilities/caps.hl
+++ b/capabilities/caps.hl
@@ -21,9 +21,9 @@
 /* XXX: these must match the corresponding OBJBITS definitions in barrelfish_kpi/capabilities.h */
 
 /* Size of CNode entry: */
-define cte_size 6;
+define cte_size 7;
 /* Size of DCB: */
-define dispatcher_size 9;
+define dispatcher_size 10;
 /* Size of (x86_64) VNode: */
 define vnode_size 12; /* BASE_PAGE_BITS */
 

diff --git a/include/barrelfish_kpi/capabilities.h b/include/barrelfish_kpi/capabilities.h
index ff00120..4a58ef4 100644 (file)
--- a/include/barrelfish_kpi/capabilities.h
+++ b/include/barrelfish_kpi/capabilities.h
@@ -18,10 +18,10 @@
 /* FIXME: OBJBITS defines must match sizes in Hamlet's capabilities/caps.hl */
 
 // Size of CNode entry
-#define OBJBITS_CTE             6
+#define OBJBITS_CTE             7
 
 // Size of dispatcher
-#define OBJBITS_DISPATCHER      9
+#define OBJBITS_DISPATCHER     10
 
 #ifndef __ASSEMBLER__