changed the symbiotic calling interface to a synchronous model

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

diff --git a/palacios/include/palacios/svm_handler.h b/palacios/include/palacios/svm_handler.h
index 8f9dc93..0cca1b1 100644 (file)
--- a/palacios/include/palacios/svm_handler.h
+++ b/palacios/include/palacios/svm_handler.h
@@ -192,7 +192,8 @@
 /******************************************/
 
 
-int v3_handle_svm_exit(struct guest_info * info);
+int v3_handle_svm_exit(struct guest_info * info, addr_t exit_code, 
+                      addr_t exit_info1, addr_t exit_info2);
 const char * vmexit_code_to_str(uint_t exit_code);