1.1 --- a/xen/arch/x86/setup.c	Thu Apr 23 10:09:16 2009 +0100
     1.2 +++ b/xen/arch/x86/setup.c	Thu Apr 23 10:10:11 2009 +0100
     1.3 @@ -1119,7 +1119,7 @@ int xen_in_range(paddr_t start, paddr_t 
     1.4      int i;
     1.5      static struct {
     1.6          paddr_t s, e;
     1.7 -    } xen_regions[5];
     1.8 +    } xen_regions[4];
     1.9  
    1.10      /* initialize first time */
    1.11      if ( !xen_regions[0].s )
    1.12 @@ -1140,10 +1140,6 @@ int xen_in_range(paddr_t start, paddr_t 
    1.13          /* bss + boot allocator bitmap */
    1.14          xen_regions[3].s = __pa(&__bss_start);
    1.15          xen_regions[3].e = allocator_bitmap_end;
    1.16 -        /* frametable */
    1.17 -        xen_regions[4].s = (unsigned long)frame_table;
    1.18 -        xen_regions[4].e = (unsigned long)frame_table +
    1.19 -                           PFN_UP(max_page * sizeof(*frame_table));
    1.20      }
    1.21  
    1.22      for ( i = 0; i < ARRAY_SIZE(xen_regions); i++ )