Make sure KCb has correct size.
authorGerd Zellweger <mail@gerdzellweger.com>
Tue, 14 Oct 2014 14:36:49 +0000 (16:36 +0200)
committerGerd Zellweger <mail@gerdzellweger.com>
Tue, 14 Oct 2014 14:36:49 +0000 (16:36 +0200)
capabilities/caps.hl
include/barrelfish_kpi/capabilities.h

index 01f51bf..b01be0b 100644 (file)
@@ -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;
 
index 2d7605a..dfaf9f6 100644 (file)
@@ -24,7 +24,7 @@
 #define OBJBITS_DISPATCHER     10
 
 // Size of kernel control block
-#define OBJBITS_KCB            13
+#define OBJBITS_KCB            16
 
 #ifndef __ASSEMBLER__