Simplify pmap_is_curpmap(): %cr3 can never match pm_pdirpa_intel here

as this code isn't present in those page tables

ok mlarkin@

diff --git a/sys/arch/amd64/amd64/pmap.c b/sys/arch/amd64/amd64/pmap.c
index 3e473dc..85f23f0 100644 (file)
--- a/sys/arch/amd64/amd64/pmap.c
+++ b/sys/arch/amd64/amd64/pmap.c
@@ -1,4 +1,4 @@
-/*     $OpenBSD: pmap.c,v 1.116 2018/07/12 14:11:11 guenther Exp $     */
+/*     $OpenBSD: pmap.c,v 1.117 2018/09/09 22:41:57 guenther Exp $     */
 /*     $NetBSD: pmap.c,v 1.3 2003/05/08 18:13:13 thorpej Exp $ */
 
 /*
@@ -336,8 +336,7 @@ static __inline boolean_t
 pmap_is_curpmap(struct pmap *pmap)
 {
        return((pmap == pmap_kernel()) ||
-              (pmap->pm_pdirpa == (paddr_t) rcr3()) ||
-              (pmap->pm_pdirpa_intel == (paddr_t) rcr3()));
+              (pmap->pm_pdirpa == (paddr_t) rcr3()));
 }
 
 /*