Merge large page support code.
[barrelfish] / include / barrelfish / vspace_mmu_aware.h
index 14446e5..064231b 100644 (file)
@@ -16,6 +16,7 @@
 #ifndef LIBBARRELFISH_VSPACE_MMU_AWARE_H
 #define LIBBARRELFISH_VSPACE_MMU_AWARE_H
 
+#include <barrelfish/vregion.h>
 #include <sys/cdefs.h>
 
 __BEGIN_DECLS