X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_mwait.c;h=78e78c5ffcad3276263cebe4514d830b6c06c9d4;hb=c0ecfba627c1d6c3f46d59bd4e5e6f883a494dc4;hp=3196ae2303a7f1497112228d62808b5566286ab6;hpb=adfcd4fddcf65f9ec0e74acff09cf8f88d8ebd0d;p=palacios.git

diff --git a/palacios/src/palacios/vmm_mwait.c b/palacios/src/palacios/vmm_mwait.c
index 3196ae2..78e78c5 100644
--- a/palacios/src/palacios/vmm_mwait.c
+++ b/palacios/src/palacios/vmm_mwait.c
@@ -30,7 +30,7 @@
 //
 int v3_handle_mwait(struct guest_info * info) 
 {
-    PrintDebug("Raising undefined opcode due to mwait instruction\n");
+    PrintDebug(info->vm_info, info, "Raising undefined opcode due to mwait instruction\n");
 
     v3_raise_exception(info, UD_EXCEPTION );
 
@@ -42,7 +42,7 @@ int v3_handle_mwait(struct guest_info * info)
 //
 int v3_handle_monitor(struct guest_info * info) 
 {
-    PrintDebug("Raising undefined opcode due to monitor instruction\n");
+    PrintDebug(info->vm_info, info, "Raising undefined opcode due to monitor instruction\n");
 
     v3_raise_exception(info, UD_EXCEPTION );