diff options
-rw-r--r-- | arch/x86/machine/pmap.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/arch/x86/machine/pmap.c b/arch/x86/machine/pmap.c index 52d9c607..baa25b61 100644 --- a/arch/x86/machine/pmap.c +++ b/arch/x86/machine/pmap.c @@ -1251,6 +1251,10 @@ pmap_remove_local_single(struct pmap *pmap, unsigned long va) pt_level = &pmap_pt_levels[level]; pte = &ptp[pmap_pte_index(va, pt_level)]; + if (!pmap_pte_valid(*pte)) { + return; + } + if (level == 0) { break; } |