X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_assist.c;h=3e1f7a7bb9f21b3c993a74ca048caa91f9c4b88b;hb=946b9684bf8fa50950f54d69b526c889743e3dae;hp=058f50319f739994b55ce847ad4fa9cf20769ec3;hpb=99578627551cadf5f5c5b60b9700c4a1272d38f6;p=palacios.git

diff --git a/palacios/src/palacios/vmx_assist.c b/palacios/src/palacios/vmx_assist.c
index 058f503..3e1f7a7 100644
--- a/palacios/src/palacios/vmx_assist.c
+++ b/palacios/src/palacios/vmx_assist.c
@@ -338,7 +338,7 @@ int v3_vmxassist_init(struct guest_info * core, struct vmx_data * vmx_state) {
 	int i = 0;
 	pde32_4MB_t * pde = NULL;
 
-	PrintError(core->vm_info, core, "Setting up internal VMXASSIST page tables\n");
+	V3_Print(core->vm_info, core, "Setting up internal VMXASSIST page tables\n");
 
 	if (v3_gpa_to_hva(core, VMXASSIST_1to1_PT, (addr_t *)(&pde)) == -1) {
 	    PrintError(core->vm_info, core, "Could not find VMXASSIST 1to1 PT destination\n");