X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx_handler.h;h=2845e2154d325c9e2a5ca7b264e78263072b0073;hb=a996f792cb40f3451085f9951dd4462d188c84b8;hp=1fdf98c7395ec9b9703678016f19fbb90d82c840;hpb=5bf6d0c260240e314876a2fca8e3fd56bd6a1029;p=palacios-OLD.git

diff --git a/palacios/include/palacios/vmx_handler.h b/palacios/include/palacios/vmx_handler.h
index 1fdf98c..2845e21 100644
--- a/palacios/include/palacios/vmx_handler.h
+++ b/palacios/include/palacios/vmx_handler.h
@@ -217,7 +217,7 @@ struct vmx_exit_info {
 
 
 
-
+int v3_handle_atomic_vmx_exit(struct guest_info * info, struct vmx_exit_info * exit_info);
 int v3_handle_vmx_exit(struct guest_info * info, struct vmx_exit_info * exit_info);
 const char * v3_vmx_exit_code_to_str(vmx_exit_t exit);