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

diff --git a/kitten/include/arch-x86_64/mmu.h b/kitten/include/arch-x86_64/mmu.h
new file mode 100644
index 0000000..3c612f7
--- /dev/null
+++ b/kitten/include/arch-x86_64/mmu.h
@@ -0,0 +1,18 @@
+#ifndef _X86_64_MMU_H
+#define _X86_64_MMU_H
+
+#include <lwk/spinlock.h>
+// #include <asm/semaphore.h>
+
+/*
+ * The x86_64 doesn't have a mmu context, but
+ * we put the segment information here.
+ */
+typedef struct { 
+	void *ldt;
+	rwlock_t ldtlock; 
+	int size;
+//	struct semaphore sem; 
+} mm_context_t;
+
+#endif