some fixes for profiling

[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 e2425ac..8f9dc93 100644 (file)
--- a/palacios/include/palacios/svm_handler.h
+++ b/palacios/include/palacios/svm_handler.h
@@ -193,6 +193,8 @@
 
 
 int v3_handle_svm_exit(struct guest_info * info);
+const char * vmexit_code_to_str(uint_t exit_code);
+
 
 #endif // ! __V3VEE__