X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fsvm_wbinvd.c;h=9d96f31bdde21e6923bd3b898e3343c7ea433557;hb=0246f0904a4800dbe1e8e23332d49b468a58f751;hp=eb8a35f2801001b3cbae67c04510cd98c85c60bb;hpb=cd4508e49cab8f3dcc2ed0dfe91a63fc088c6e87;p=palacios.git

diff --git a/palacios/src/palacios/svm_wbinvd.c b/palacios/src/palacios/svm_wbinvd.c
index eb8a35f..9d96f31 100644
--- a/palacios/src/palacios/svm_wbinvd.c
+++ b/palacios/src/palacios/svm_wbinvd.c
@@ -31,7 +31,7 @@
 int v3_handle_svm_wbinvd(struct guest_info * info) {
 
     if (info->cpl != 0) { 
-	PrintDebug("WBINVD: cpl != 0, injecting GPF\n");
+	PrintDebug(info->vm_info, info, "WBINVD: cpl != 0, injecting GPF\n");
 	v3_raise_exception(info, GPF_EXCEPTION);
     } else {
 	info->rip += 2;