Merge large page support code.
[barrelfish] / include / barrelfish / vregion.h
index 551a8f9..6d2ef56 100644 (file)
@@ -16,6 +16,7 @@
 #ifndef LIBBARRELFISH_VREGION_H
 #define LIBBARRELFISH_VREGION_H
 
+#include <barrelfish_kpi/types.h>
 #include <sys/cdefs.h>
 
 __BEGIN_DECLS
@@ -40,6 +41,9 @@ __BEGIN_DECLS
 #define VREGION_FLAGS_READ_WRITE_MPB \
     (VREGION_FLAGS_READ | VREGION_FLAGS_WRITE | VREGION_FLAGS_MPB)
 
+struct vspace;
+struct memobj;
+
 struct vregion {
     struct vspace *vspace;   ///< A vregion is always associated with one vspace
     struct memobj *memobj;   ///< A vregion is always associated with one memobj