--- old-xen-unstable/xen/arch/x86/domain_build.c	2005-05-12 17:15:33.000000000 +0000
+++ new-xen-unstable/xen/arch/x86/domain_build.c	2005-05-12 20:47:02.000000000 +0000
@@ -330,7 +330,10 @@ int construct_dom0(struct domain *d,
             get_page(page, d); /* an extra ref because of readable mapping */
         }
         if ( !((unsigned long)++l1tab & (PAGE_SIZE - 1)) )
-            l1start = l1tab = (l1_pgentry_t *)l2e_get_phys(*++l2tab);
+        {
+            l2tab++;
+            l1start = l1tab = (l1_pgentry_t *)l2e_get_phys(*l2tab);
+        }
     }
 
 #elif defined(__x86_64__)