X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_paging_debug.h;h=d4b4536ec0b1486fae6cfe6e471642f8df11d07e;hb=c0ecfba627c1d6c3f46d59bd4e5e6f883a494dc4;hp=adae3c42d151bd6ce8822347676ddd14dc2a2087;hpb=acaadd79c597c8d5180fbfbec79c01fef3dff003;p=palacios.git

diff --git a/palacios/src/palacios/vmm_paging_debug.h b/palacios/src/palacios/vmm_paging_debug.h
index adae3c4..d4b4536 100644
--- a/palacios/src/palacios/vmm_paging_debug.h
+++ b/palacios/src/palacios/vmm_paging_debug.h
@@ -453,7 +453,7 @@ void PrintGuestPageTables(struct guest_info * info, addr_t cr3) {
 }
 
 void PrintHostPageTree(struct guest_info * info,  addr_t virtual_addr, addr_t cr3) {
-    PrintDebug(info->vm_info, info, "CR3: %p\n", (void *)cr3);
+    PrintDebug(info->vm_info, info, "CR3: %p\n, cpu mode is %x", (void *)cr3, info->cpu_mode);
     switch (info->cpu_mode) {
 	case PROTECTED:
 	    v3_drill_host_pt_32(info, cr3, virtual_addr, print_page_tree_cb, NULL);