X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_halt.c;h=f6b284cffec5053385ac947d8f045d10fe771b8c;hb=619005a21a476c0ead5e3b1ae4e483d844c3237e;hp=b6e1a9654f0a1b7809ac2c5b0ce2ea40b08320f7;hpb=5f9290a9547c1497c6070b35e32caa7fc388d189;p=palacios.releases.git

diff --git a/palacios/src/palacios/vmm_halt.c b/palacios/src/palacios/vmm_halt.c
index b6e1a96..f6b284c 100644
--- a/palacios/src/palacios/vmm_halt.c
+++ b/palacios/src/palacios/vmm_halt.c
@@ -41,7 +41,7 @@ int v3_handle_halt(struct guest_info * info)
     } else {
 	uint64_t start_cycles;
 	
-	PrintDebug("CPU Yield\n");
+	PrintDebug(info->vm_info, info, "CPU Yield\n");
 
 	start_cycles  = v3_get_host_time(&info->time_state);
 
@@ -70,7 +70,7 @@ int v3_handle_halt(struct guest_info * info)
 
 	}
 
-	/* V3_Print("palacios: done with halt\n"); */
+	/* V3_Print(info->vm_info, info, "palacios: done with halt\n"); */
 	
 	info->rip += 1;
     }