diff options
author | Alan Cox <alc@FreeBSD.org> | 2019-06-09 05:55:58 +0000 |
---|---|---|
committer | Alan Cox <alc@FreeBSD.org> | 2019-06-09 05:55:58 +0000 |
commit | 1fe65d054b86c9246fde7af43cd4baab4a119fd1 (patch) | |
tree | 778010152c20aa4395f4fdeed2bd11cfec2e2fcf /sys/riscv | |
parent | fd2dae0a30e937717faf87f626630a8a5b8f724a (diff) | |
download | src-1fe65d054b86c9246fde7af43cd4baab4a119fd1.tar.gz src-1fe65d054b86c9246fde7af43cd4baab4a119fd1.zip |
Correct a new KASSERT() in r348828.
X-MFC with: r348828
Notes
Notes:
svn path=/head/; revision=348829
Diffstat (limited to 'sys/riscv')
-rw-r--r-- | sys/riscv/riscv/pmap.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sys/riscv/riscv/pmap.c b/sys/riscv/riscv/pmap.c index 9df759083163..16c3a4894a5e 100644 --- a/sys/riscv/riscv/pmap.c +++ b/sys/riscv/riscv/pmap.c @@ -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")); |