X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=kitten%2Finclude%2Farch-x86_64%2Faspace.h;fp=kitten%2Finclude%2Farch-x86_64%2Faspace.h;h=2fc31d5097fd546b77a254ccad88dbb68ee9887b;hb=66a1a4c7a9edcd7d8bc207aca093d694a6e6b5b2;hp=0000000000000000000000000000000000000000;hpb=f7cf9c19ecb0a589dd45ae0d2c91814bd3c2acc2;p=palacios.git

diff --git a/kitten/include/arch-x86_64/aspace.h b/kitten/include/arch-x86_64/aspace.h
new file mode 100644
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