diff options
| author | John Baldwin <jhb@FreeBSD.org> | 2021-02-18 00:32:11 +0000 |
|---|---|---|
| committer | John Baldwin <jhb@FreeBSD.org> | 2022-05-10 17:47:07 +0000 |
| commit | 0c1258e7079b678a763dc2c851f6c83c2ad6978f (patch) | |
| tree | 3cc89605162bd63eeb871281d184d562140f39c9 /sys/mips | |
| parent | d055e974c4eeb7237cd18c3fe84a87fbd09ae43b (diff) | |
Diffstat (limited to 'sys/mips')
| -rw-r--r-- | sys/mips/mips/pmap.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/sys/mips/mips/pmap.c b/sys/mips/mips/pmap.c index 9ca43048ecca..a41614c5457b 100644 --- a/sys/mips/mips/pmap.c +++ b/sys/mips/mips/pmap.c @@ -2125,8 +2125,7 @@ pmap_enter(pmap_t pmap, vm_offset_t va, vm_page_t m, vm_prot_t prot, va &= ~PAGE_MASK; KASSERT(va <= VM_MAX_KERNEL_ADDRESS, ("pmap_enter: toobig")); - KASSERT((m->oflags & VPO_UNMANAGED) != 0 || va < kmi.clean_sva || - va >= kmi.clean_eva, + KASSERT((m->oflags & VPO_UNMANAGED) != 0 || !VA_IS_CLEANMAP(va), ("pmap_enter: managed mapping within the clean submap")); if ((m->oflags & VPO_UNMANAGED) == 0) VM_PAGE_OBJECT_BUSY_ASSERT(m); @@ -2328,7 +2327,7 @@ pmap_enter_quick_locked(pmap_t pmap, vm_offset_t va, vm_page_t m, pt_entry_t *pte, npte; vm_paddr_t pa; - KASSERT(va < kmi.clean_sva || va >= kmi.clean_eva || + KASSERT(!VA_IS_CLEANMAP(va) || (m->oflags & VPO_UNMANAGED) != 0, ("pmap_enter_quick_locked: managed mapping within the clean submap")); rw_assert(&pvh_global_lock, RA_WLOCKED); |