From: Peter Dinda <pdinda@northwestern.edu>
Date: Wed, 1 Jun 2016 01:15:51 +0000 (-0500)
Subject: Minor VMX NPT bug fix (printing)
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=commitdiff_plain;h=28cd2d6deca639fe40256c4d3f2c8f9491ec777a

Minor VMX NPT bug fix (printing)
---

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) {