aboutsummaryrefslogtreecommitdiff
path: root/sys/riscv
diff options
context:
space:
mode:
authorAlan Cox <alc@FreeBSD.org>2019-06-09 05:55:58 +0000
committerAlan Cox <alc@FreeBSD.org>2019-06-09 05:55:58 +0000
commit1fe65d054b86c9246fde7af43cd4baab4a119fd1 (patch)
tree778010152c20aa4395f4fdeed2bd11cfec2e2fcf /sys/riscv
parentfd2dae0a30e937717faf87f626630a8a5b8f724a (diff)
downloadsrc-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.c4
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"));