Correct a new KASSERT() in r348828.

X-MFC with:	r348828
This commit is contained in:
Alan Cox 2019-06-09 05:55:58 +00:00
parent fd2dae0a30
commit 1fe65d054b
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=348829

View File

@ -3564,8 +3564,8 @@ pmap_remove_pages_pv(pmap_t pmap, vm_page_t m, pv_entry_t pv,
}
mpte = pmap_remove_pt_page(pmap, pv->pv_va);
if (mpte != NULL) {
KASSERT(ml3->valid == VM_PAGE_BITS_ALL,
("pmap_remove_pages: l3 page not promoted"));
KASSERT(mpte->valid == VM_PAGE_BITS_ALL,
("pmap_remove_pages: pte page not promoted"));
pmap_resident_count_dec(pmap, 1);
KASSERT(mpte->wire_count == Ln_ENTRIES,
("pmap_remove_pages: pte page wire count error"));