X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fsvm_handler.h;h=da5967d6b879b33f5a28a421c5e66cdfdc5e0f55;hb=da3c25c59f558869da8c2d91b28e32d977f33ea9;hp=376b52ffbf92abc2dfabaf174a8a2e700fcb31f1;hpb=a109eb919a162bd7de58d62020801bc2e633be50;p=palacios.releases.git

diff --git a/palacios/include/palacios/svm_handler.h b/palacios/include/palacios/svm_handler.h
index 376b52f..da5967d 100644
--- a/palacios/include/palacios/svm_handler.h
+++ b/palacios/include/palacios/svm_handler.h
@@ -165,6 +165,8 @@
 #define VMEXIT_MWAIT                0x0000008b
 #define VMEXIT_MWAIT_CONDITIONAL    0x0000008c
 
+#define VMEXIT_NPF                  0x00000400
+
 #define VMEXIT_INVALID_VMCB         -1
 
 /******************************************/
@@ -174,6 +176,8 @@
 
 int handle_shadow_paging(struct guest_info * info);
 
+int handle_svm_intr(struct guest_info * info);
+
 int handle_svm_exit(struct guest_info * info);
 
 #endif