ia64/xen-unstable

changeset 4324:51b277b0371a

bitkeeper revision 1.1236.43.8 (424414e47MDO_h_WXLL_TII3WcuvNw)

Merge firebug.cl.cam.ac.uk:/auto/groups/xeno-xenod/BK/xen-2.0-testing.bk
into firebug.cl.cam.ac.uk:/local/scratch/cl349/xen-unstable.bk-clean
author cl349@firebug.cl.cam.ac.uk
date Fri Mar 25 13:40:52 2005 +0000 (2005-03-25)
parents fbb28076d427 dfc37b282730
children 148aec70383c
files xen/arch/x86/mm.c
line diff
     1.1 --- a/xen/arch/x86/mm.c	Fri Mar 25 11:43:58 2005 +0000
     1.2 +++ b/xen/arch/x86/mm.c	Fri Mar 25 13:40:52 2005 +0000
     1.3 @@ -2394,6 +2394,11 @@ void ptwr_flush(const int which)
     1.4                     (L1_PAGETABLE_ENTRIES - i) * sizeof(l1_pgentry_t));
     1.5              unmap_domain_mem(pl1e);
     1.6              ptwr_info[cpu].ptinfo[which].l1va = 0;
     1.7 +            if ( (which == PTWR_PT_ACTIVE) && likely(!d->mm.shadow_mode) )
     1.8 +            {
     1.9 +                pl2e = &linear_l2_table[ptwr_info[cpu].ptinfo[which].l2_idx];
    1.10 +                *pl2e = mk_l2_pgentry(l2_pgentry_val(*pl2e) | _PAGE_PRESENT); 
    1.11 +            }
    1.12              domain_crash();
    1.13          }
    1.14