1.1 --- a/xen/arch/x86/memory.c	Wed Sep 08 21:09:16 2004 +0000
     1.2 +++ b/xen/arch/x86/memory.c	Thu Sep 09 00:24:45 2004 +0000
     1.3 @@ -1915,11 +1915,7 @@ void ptwr_status(void)
     1.4      page = &frame_table[pfn];
     1.5  
     1.6      PTWR_PRINTK(PP_ALL, ("    pl2e %p l2e %08lx pfn %08lx taf %08x/%08x\n",
     1.7 -                         pl2e, l2_pgentry_val(*pl2e), l1_pgentry_val(
     1.8 -                             linear_pg_table[(unsigned long)pl2e >>
     1.9 -                                             PAGE_SHIFT]) >> PAGE_SHIFT,
    1.10 -                         frame_table[
    1.11 -                             l2_pgentry_to_pagenr(*pl2e)].u.inuse.type_info,
    1.12 +                         pl2e, l2_pgentry_val(*pl2e), pfn,
    1.13                           frame_table[pfn].u.inuse.type_info,
    1.14                           frame_table[pfn].u.inuse.domain->domain));
    1.15  }