Succesfully launches and jumps into the exit handler. Need to write a proper exit...

[palacios.git] / palacios / include / palacios / vmx_handler.h

diff --git a/palacios/include/palacios/vmx_handler.h b/palacios/include/palacios/vmx_handler.h
index afb2310..cd2f7e5 100644 (file)
--- 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