X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_handler.h;h=cd2f7e510d1c77fac3ff407e4a1fbe20c41f9373;hb=f1d8183ae8c4390dfc74cb2780dd2058c569fc57;hp=afb2310a5da72ea87d04bb552eb276f4d6c5f0a8;hpb=3087452f105f516ec229af6f4e6a86c80d57424c;p=palacios.git

diff --git a/palacios/include/palacios/vmx_handler.h b/palacios/include/palacios/vmx_handler.h
index afb2310..cd2f7e5 100644
--- a/palacios/include/palacios/vmx_handler.h
+++ b/palacios/include/palacios/vmx_handler.h
@@ -22,6 +22,7 @@
 
 #ifdef __V3VEE__
 
+#include <palacios/vm_guest.h>
 
 /******************************************/
 /* VMX Intercept Exit Codes               */
@@ -66,6 +67,7 @@
 #define VMEXIT_ENTRY_FAILURE_MACHINE_CHECK        41
 #define VMEXIT_TPR_BELOW_THRESHOLD                43
 
+int v3_handle_vmx_exit(struct guest_info * info);
 
 #endif