1.1 --- a/extras/mini-os/arch/x86/mm.c	Fri Jun 20 15:21:26 2008 +0100
     1.2 +++ b/extras/mini-os/arch/x86/mm.c	Fri Jun 20 17:44:50 2008 +0100
     1.3 @@ -528,18 +528,13 @@ void *map_frames_ex(unsigned long *f, un
     1.4  
     1.5  static void clear_bootstrap(void)
     1.6  {
     1.7 -    xen_pfn_t mfns[] = { virt_to_mfn(&shared_info) };
     1.8 -    int n = sizeof(mfns)/sizeof(*mfns);
     1.9      pte_t nullpte = { };
    1.10  
    1.11      /* Use first page as the CoW zero page */
    1.12      memset(&_text, 0, PAGE_SIZE);
    1.13 -    mfn_zero = pfn_to_mfn((unsigned long) &_text);
    1.14 -    if (HYPERVISOR_update_va_mapping((unsigned long) &_text, nullpte, UVMF_INVLPG))
    1.15 -	printk("Unable to unmap first page\n");
    1.16 -
    1.17 -    if (free_physical_pages(mfns, n) != n)
    1.18 -	printk("Unable to free bootstrap pages\n");
    1.19 +    mfn_zero = virt_to_mfn((unsigned long) &_text);
    1.20 +    if (HYPERVISOR_update_va_mapping(0, nullpte, UVMF_INVLPG))
    1.21 +	printk("Unable to unmap NULL page\n");
    1.22  }
    1.23  
    1.24  void arch_init_p2m(unsigned long max_pfn)