diff options
| author | Peter Wemm <peter@FreeBSD.org> | 2004-08-24 00:17:52 +0000 |
|---|---|---|
| committer | Peter Wemm <peter@FreeBSD.org> | 2004-08-24 00:17:52 +0000 |
| commit | 648bfe0b75971694fe2fe3ad54ff7fe2cd83a480 (patch) | |
| tree | 8b769c8f3b35cc7f4dc4513d533eed778135a81b | |
| parent | a32f55d6297d6975d6ab4ed2f525669ef79b30e3 (diff) | |
Notes
| -rw-r--r-- | sys/amd64/amd64/pmap.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/sys/amd64/amd64/pmap.c b/sys/amd64/amd64/pmap.c index 3f09fdd0b50c4..f3feccda9ab3f 100644 --- a/sys/amd64/amd64/pmap.c +++ b/sys/amd64/amd64/pmap.c @@ -1048,9 +1048,7 @@ pmap_unuse_pt(pmap_t pmap, vm_offset_t va, pd_entry_t ptepde) if (va >= VM_MAXUSER_ADDRESS) return 0; -/* XXX this should be an error, all cases should be caught now */ - if (ptepde == 0) - ptepde = *pmap_pde(pmap, va); + KASSERT(ptepde != 0, ("pmap_unuse_pt: ptepde != 0")); mpte = PHYS_TO_VM_PAGE(ptepde & PG_FRAME); return pmap_unwire_pte_hold(pmap, va, mpte); } |