Make sure KCb has correct size.

diff --git a/capabilities/caps.hl b/capabilities/caps.hl
index 01f51bf..b01be0b 100644 (file)
--- a/capabilities/caps.hl
+++ b/capabilities/caps.hl
@@ -27,7 +27,7 @@ define dispatcher_size 10;
 /* Size of (x86_64) VNode: */
 define vnode_size 12; /* BASE_PAGE_BITS */
 /* size of a kernel control block */
-define kcb_size 13;
+define kcb_size 16; /* OBJBITS_KCB */
 
 /**
     The capabilities of the whole system are listed thereafter.
@@ -280,7 +280,6 @@ cap PerfMon is_always_copy {
 /** KernelControlBlock represents a struct kcb which contains all the pointers
  *  to core-local global state of the kernel.
  **/
-
 cap KernelControlBlock from RAM {
     "struct kcb" kcb;
 

diff --git a/include/barrelfish_kpi/capabilities.h b/include/barrelfish_kpi/capabilities.h
index 2d7605a..dfaf9f6 100644 (file)
--- a/include/barrelfish_kpi/capabilities.h
+++ b/include/barrelfish_kpi/capabilities.h
@@ -24,7 +24,7 @@
 #define OBJBITS_DISPATCHER     10
 
 // Size of kernel control block
-#define OBJBITS_KCB            13
+#define OBJBITS_KCB            16
 
 #ifndef __ASSEMBLER__