X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_exits.c;h=38fe326d3ac2059300474226dcfe9319b759a463;hb=0246f0904a4800dbe1e8e23332d49b468a58f751;hp=b3f5ad9a8514e9ce56c69cccdbaecc8585d37521;hpb=3751dffc4cb29c0db743895f7b507862db1a675d;p=palacios.git

diff --git a/palacios/src/palacios/vmx_exits.c b/palacios/src/palacios/vmx_exits.c
index b3f5ad9..38fe326 100644
--- a/palacios/src/palacios/vmx_exits.c
+++ b/palacios/src/palacios/vmx_exits.c
@@ -37,7 +37,7 @@ static int enable_exit(struct guest_info * core, v3_exit_type_t exit_type) {
 	    break;
 
 	default:
-	    PrintError("Unhandled Exit Type (%d)\n", exit_type);
+	    PrintError(core->vm_info, core, "Unhandled Exit Type (%d)\n", exit_type);
 	    return -1;
     }
 
@@ -58,7 +58,7 @@ static int disable_exit(struct guest_info * core, v3_exit_type_t exit_type) {
 	    break;
 
 	default:
-	    PrintError("Unhandled Exit Type (%d)\n", exit_type);
+	    PrintError(core->vm_info, core, "Unhandled Exit Type (%d)\n", exit_type);
 	    return -1;
     }