Searched refs:clean_sva (Results 1 – 7 of 7) sorted by relevance
144 vm_offset_t clean_sva; member
216 kmi->clean_sva = firstaddr = kva_alloc(size); in vm_ksubmap_init()
2128 KASSERT((m->oflags & VPO_UNMANAGED) != 0 || va < kmi.clean_sva || in pmap_enter()2331 KASSERT(va < kmi.clean_sva || va >= kmi.clean_eva || in pmap_enter_quick_locked()
3876 KASSERT((m->oflags & VPO_UNMANAGED) != 0 || va < kmi.clean_sva || in pmap_enter()4538 KASSERT(va < kmi.clean_sva || va >= kmi.clean_eva || in pmap_enter_quick_locked()
3657 va < kmi.clean_sva || va >= kmi.clean_eva, in __CONCAT()4111 KASSERT(pmap != kernel_pmap || va < kmi.clean_sva || in pmap_enter_quick_locked()
6750 KASSERT((m->oflags & VPO_UNMANAGED) != 0 || va < kmi.clean_sva || in pmap_enter()7265 KASSERT(va < kmi.clean_sva || va >= kmi.clean_eva || in pmap_enter_quick_locked()
4441 KASSERT(va < kmi.clean_sva || va >= kmi.clean_eva || in pmap_enter_quick_locked()