ia64/xen-unstable

changeset 16490:3fdbdd131fc7

[Mini-OS] Catch NULL dereferences

Unmap page 0 (only used early at boot) so as to catch NULL dereferences.

Signed-off-by: Samuel Thibault <samuel.thibault@citrix.com>
author Keir Fraser <keir.fraser@citrix.com>
date Wed Nov 28 12:42:17 2007 +0000 (2007-11-28)
parents 74bd94747ca3
children cca2f2fb857d
files extras/mini-os/arch/x86/mm.c
line diff
     1.1 --- a/extras/mini-os/arch/x86/mm.c	Wed Nov 28 12:41:41 2007 +0000
     1.2 +++ b/extras/mini-os/arch/x86/mm.c	Wed Nov 28 12:42:17 2007 +0000
     1.3 @@ -270,6 +270,9 @@ void build_pagetable(unsigned long *star
     1.4          start_address += PAGE_SIZE;
     1.5      }
     1.6  
     1.7 +    if (HYPERVISOR_update_va_mapping(0, (pte_t) {}, UVMF_INVLPG))
     1.8 +        printk("Unable to unmap page 0\n");
     1.9 +
    1.10      *start_pfn = pt_pfn;
    1.11  }
    1.12