diff options
| author | Doug Rabson <dfr@FreeBSD.org> | 2001-04-18 15:08:37 +0000 |
|---|---|---|
| committer | Doug Rabson <dfr@FreeBSD.org> | 2001-04-18 15:08:37 +0000 |
| commit | ff37c2003c318e92fe3374d172037f0168f3f334 (patch) | |
| tree | 6e5bd16b715480e25879ecc59dc7b5d313222f26 | |
| parent | 169915f56dc7d6ef78d6511ff8d0f3d101424c28 (diff) | |
Notes
| -rw-r--r-- | sys/ia64/ia64/pmap.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/ia64/ia64/pmap.c b/sys/ia64/ia64/pmap.c index ebc13dfa9ca1..8b24788478ed 100644 --- a/sys/ia64/ia64/pmap.c +++ b/sys/ia64/ia64/pmap.c @@ -400,7 +400,7 @@ pmap_invalidate_rid(pmap_t pmap) static void pmap_invalidate_page(pmap_t pmap, vm_offset_t va) { - KASSERT(pmap == PCPU_GET(current_pmap), + KASSERT((pmap == kernel_pmap || pmap == PCPU_GET(current_pmap)), ("invalidating TLB for non-current pmap")); ia64_ptc_l(va, PAGE_SHIFT << 2); } @@ -412,7 +412,7 @@ pmap_invalidate_all(pmap_t pmap) int i, j; critical_t psr; - KASSERT(pmap == PCPU_GET(current_pmap), + KASSERT((pmap == kernel_pmap || pmap == PCPU_GET(current_pmap)), ("invalidating TLB for non-current pmap")); psr = critical_enter(); |