Merge branch 'devel'

[palacios-OLD.git] / kitten / include / arch-x86_64 / aspace.h

diff --git a/kitten/include/arch-x86_64/aspace.h b/kitten/include/arch-x86_64/aspace.h
new file mode 100644 (file)
index 0000000..2fc31d5
--- /dev/null
+++ b/kitten/include/arch-x86_64/aspace.h
@@ -0,0 +1,16 @@
+/* Copyright (c) 2007, Sandia National Laboratories */
+
+#ifndef _ARCH_X86_64_ASPACE_H
+#define _ARCH_X86_64_ASPACE_H
+
+#ifdef __KERNEL__
+#include <arch/page_table.h>
+
+struct arch_aspace {
+       xpte_t *pgd;    /* Page global directory... root page table */
+};
+#endif
+
+#define SMARTMAP_ALIGN 0x8000000000UL  /* Each PML4T entry covers 512 GB */
+
+#endif