debuggers.hg
changeset 2661:b7b15f4a7ebc
bitkeeper revision 1.1159.1.220 (416aa5e6ktGFOaPKB2UOztMEwWKkHg)
fix debug build
fix debug build
author | iap10@labyrinth.cl.cam.ac.uk |
---|---|
date | Mon Oct 11 15:25:26 2004 +0000 (2004-10-11) |
parents | 4d484af4aca0 |
children | b3ae9d6dbece |
files | xen/arch/x86/memory.c |
line diff
1.1 --- a/xen/arch/x86/memory.c Mon Oct 11 14:52:43 2004 +0000 1.2 +++ b/xen/arch/x86/memory.c Mon Oct 11 15:25:26 2004 +0000 1.3 @@ -1739,7 +1739,7 @@ int ptwr_do_page_fault(unsigned long add 1.4 PTWR_PT_INACTIVE : PTWR_PT_ACTIVE; 1.5 1.6 PTWR_PRINTK("[%c] page_fault on l1 pt at va %08lx, pt for %08x, " 1.7 - "pt for %08x, pfn %08lx\n", PTWR_PRINT_WHICH, 1.8 + "pfn %08lx\n", PTWR_PRINT_WHICH, 1.9 addr, va_mask << L2_PAGETABLE_SHIFT, pfn); 1.10 1.11 if ( ptwr_info[cpu].ptinfo[which].l1va )