# HG changeset patch
# User kaf24@scramble.cl.cam.ac.uk
# Date 1103638431 0
# Node ID 85cbf38211270c07577ecb0e88bacca68e79251c
# Parent  fc8767574ee6608d1a90b71fbea525b904f03b89
bitkeeper revision 1.1159.187.71 (41c82f9fKeodufnpl2tEhvkIWWlYjw)

Fix shadow bug.


diff -r fc8767574ee6 -r 85cbf3821127 xen/arch/x86/shadow.c
--- a/xen/arch/x86/shadow.c	Tue Dec 21 14:13:27 2004 +0000
+++ b/xen/arch/x86/shadow.c	Tue Dec 21 14:13:51 2004 +0000
@@ -517,10 +517,10 @@ static void shadow_map_l1_into_current_l
             mk_l2_pgentry(spde);
 
         gpl1e = (unsigned long *) &(linear_pg_table[
-            (va>>PAGE_SHIFT) & ~(ENTRIES_PER_L1_PAGETABLE-1)]);
+            (va>>L1_PAGETABLE_SHIFT) & (ENTRIES_PER_L1_PAGETABLE-1)]);
 
-        spl1e = (unsigned long *) &shadow_linear_pg_table[
-            (va>>PAGE_SHIFT) & ~(ENTRIES_PER_L1_PAGETABLE-1)];
+        spl1e = (unsigned long *) &(shadow_linear_pg_table[
+            (va>>L1_PAGETABLE_SHIFT) & (ENTRIES_PER_L1_PAGETABLE-1)]);
 
         for ( i = 0; i < ENTRIES_PER_L1_PAGETABLE; i++ )
             l1pte_propagate_from_guest(m, &gpl1e[i], &spl1e[i]);