diff options
| author | attilio <attilio@FreeBSD.org> | 2013-02-15 16:08:08 +0000 |
|---|---|---|
| committer | attilio <attilio@FreeBSD.org> | 2013-02-15 16:08:08 +0000 |
| commit | b4e24f9126f7a4c80ce0c44f6b4230021089bc1e (patch) | |
| tree | fec3b1ec86eb76feb5072280cfe4aeb925f9e9e6 /sys/amd64 | |
| parent | 8dfc0ddbd33b346cefd47e11711579b57c7eae85 (diff) | |
| parent | cb7ef0d72fdbd149e546d7ad7f4d7e6a2b5caebf (diff) | |
| download | FreeBSD-src-b4e24f9126f7a4c80ce0c44f6b4230021089bc1e.zip FreeBSD-src-b4e24f9126f7a4c80ce0c44f6b4230021089bc1e.tar.gz | |
MFC
Diffstat (limited to 'sys/amd64')
| -rw-r--r-- | sys/amd64/amd64/pmap.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sys/amd64/amd64/pmap.c b/sys/amd64/amd64/pmap.c index c63d8f2..715865f 100644 --- a/sys/amd64/amd64/pmap.c +++ b/sys/amd64/amd64/pmap.c @@ -1482,6 +1482,7 @@ pmap_qremove(vm_offset_t sva, int count) va = sva; while (count-- > 0) { + KASSERT(va >= VM_MIN_KERNEL_ADDRESS, ("usermode va %lx", va)); pmap_kremove(va); va += PAGE_SIZE; } @@ -4508,8 +4509,10 @@ pmap_remove_pages(pmap_t pmap) pte = &pte[pmap_pte_index(pv->pv_va)]; tpte = *pte & ~PG_PTE_PAT; } - if ((tpte & PG_V) == 0) - panic("bad pte"); + if ((tpte & PG_V) == 0) { + panic("bad pte va %lx pte %lx", + pv->pv_va, tpte); + } /* * We cannot remove wired pages from a process' mapping at this time |
