summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2009-11-22 21:54:46 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2009-11-22 21:54:46 +0100
commitc6c6b49c67a1768e82859e4dd0efbeb5e0452d87 (patch)
tree3b69516e034453bd83325f2c13f177cb4ce2e4d6
parent8dd62ea2908c4f15d295fa05dd0b35e4afc36f38 (diff)
Do not fail if no PTE maps virtual address 0
* i386/intel/pmap.c (pmap_unmap_page_zero): Do not fail if no PTE maps virtual address 0.
-rw-r--r--i386/intel/pmap.c2
1 files changed, 2 insertions, 0 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c
index bc3acfc..c633fd9 100644
--- a/i386/intel/pmap.c
+++ b/i386/intel/pmap.c
@@ -2410,6 +2410,8 @@ pmap_unmap_page_zero ()
int *pte;
pte = (int *) pmap_pte (kernel_pmap, 0);
+ if (!pte)
+ return;
assert (pte);
*pte = 0;
INVALIDATE_TLB(kernel_pmap, 0, PAGE_SIZE);