X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_assist.h;h=5a38743bfda56935ebf0df7361f20be121fa71eb;hb=60ad6a41c6d0ee08ed689e8505eb0c3df0c2a289;hp=e97f0dd06d3e20ab6391910e5725df4a16bd8ca0;hpb=fcc9962fe5d3b877f8f25de8745d0d4d1eaf394e;p=palacios.git

diff --git a/palacios/include/palacios/vmx_assist.h b/palacios/include/palacios/vmx_assist.h
index e97f0dd..5a38743 100644
--- a/palacios/include/palacios/vmx_assist.h
+++ b/palacios/include/palacios/vmx_assist.h
@@ -26,6 +26,10 @@
 #include <palacios/vmx.h>
 
 
+#define VMXASSIST_GDT     0x10000
+#define VMXASSIST_TSS     0x40000
+#define VMXASSIST_START   0xd0000
+#define VMXASSIST_1to1_PT 0xde000 // We'll shove this at the end, and pray to god VMXASSIST doesn't mess with it
 
 
 int v3_vmxassist_ctx_switch(struct guest_info * info);