X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging.c;h=65dc470565f7dea88f562b364f09d48720fdc19c;hp=821d7b369159ca09024fdf7a88f28077f5ad94d7;hb=b3b88c98e70d7413fcf5220af2018766190997ac;hpb=1fe82881720f7f9f64f789871f763aca93b47a7e

diff --git a/palacios/src/palacios/vmm_direct_paging.c b/palacios/src/palacios/vmm_direct_paging.c
index 821d7b3..65dc470 100644
--- a/palacios/src/palacios/vmm_direct_paging.c
+++ b/palacios/src/palacios/vmm_direct_paging.c
@@ -69,6 +69,9 @@ int v3_handle_nested_pagefault(struct guest_info * info, addr_t fault_addr, pf_e
     // THIS IS VERY BAD
     v3_vm_cpu_mode_t mode = LONG;
 
+
+    PrintDebug("Nested PageFault: fault_addr=%p, error_code=%u\n",(void*)fault_addr, *(uint_t *)&error_code);
+
     switch(mode) {
 	case REAL:
 	case PROTECTED: