X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmx_npt.h;fp=palacios%2Fsrc%2Fpalacios%2Fvmx_npt.h;h=6d6b9c550fb359700fe945cc33f47feb26eb9cf7;hp=041d67b683e4392987e13a002c95eecc1dd5e511;hb=28cd2d6deca639fe40256c4d3f2c8f9491ec777a;hpb=66c338acdc299d7496da982999ff3cd3828e442a

diff --git a/palacios/src/palacios/vmx_npt.h b/palacios/src/palacios/vmx_npt.h
index 041d67b..6d6b9c5 100644
--- a/palacios/src/palacios/vmx_npt.h
+++ b/palacios/src/palacios/vmx_npt.h
@@ -198,7 +198,7 @@ static int handle_vmx_nested_pagefault(struct guest_info * core, addr_t fault_ad
     
     ept_exit_qual_to_pf_error(ept_qual, &error_code);
 
-    PrintDebug(info->vm_info, info, "Nested PageFault: fault_addr=%p, error_code=%u, exit_qual=0x%llx\n", (void *)fault_addr, *(uint_t *)&error_code, qual->value);
+    PrintDebug(core->vm_info, core, "Nested PageFault: fault_addr=%p, error_code=%u, exit_qual=0x%llx\n", (void *)fault_addr, *(uint_t *)&error_code, ept_qual->value);
 
     
     if (region == NULL) {