X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmcs.h;h=5d5035540383f2aa3ce7e81293de079f4042c036;hb=3751dffc4cb29c0db743895f7b507862db1a675d;hp=f8028b5e986ade426e1d16d564dab39c53f7ece0;hpb=feae9dcec518f57049429ee391f903745cb04749;p=palacios.git

diff --git a/palacios/include/palacios/vmcs.h b/palacios/include/palacios/vmcs.h
index f8028b5..5d50355 100644
--- a/palacios/include/palacios/vmcs.h
+++ b/palacios/include/palacios/vmcs.h
@@ -36,6 +36,7 @@
 
 /* Control register exit masks */
 #define   CR4_VMXE      0x00002000
+#define   CR4_PAE       0x00000020