/* Size of (x86_64) VNode: */
define vnode_size 12; /* BASE_PAGE_BITS */
/* size of a kernel control block */
-define kcb_size 12;
+define kcb_size 13;
/**
The capabilities of the whole system are listed thereafter.
#include <acpi_client/acpi_client.h>
#include <vfs/vfs.h>
+#include <barrelfish_kpi/capabilities.h>
#include <barrelfish/invocations_arch.h>
#include <octopus/octopus.h>
#include <octopus/capability_storage.h>
printf("%s:%s:%d: Create a new kcb\n",
__FILE__, __FUNCTION__, __LINE__);
- err = ram_alloc(&kcb_mem, X86_64_BASE_PAGE_BITS);
+ err = ram_alloc(&kcb_mem, OBJBITS_KCB);
if (err_is_fail(err)) {
DEBUG_ERR(err, "frame alloc");
return err;
err = cap_retype(kcb, kcb_mem,
ObjType_KernelControlBlock,
- X86_64_BASE_PAGE_BITS);
+ OBJBITS_KCB);
if (err_is_fail(err)) {
DEBUG_ERR(err, "Failure in cap_retype.");
}