diff options
author | kib <kib@FreeBSD.org> | 2013-02-14 19:21:20 +0000 |
---|---|---|
committer | kib <kib@FreeBSD.org> | 2013-02-14 19:21:20 +0000 |
commit | d135eb2b0cae720b280079f6e45284fe9e478582 (patch) | |
tree | 765c9d503686551881ea97b98836d28d1859684d | |
parent | 2daa6fd67957bfe644eb480eb90ce4ef1e820c0c (diff) | |
download | FreeBSD-src-d135eb2b0cae720b280079f6e45284fe9e478582.zip FreeBSD-src-d135eb2b0cae720b280079f6e45284fe9e478582.tar.gz |
Assert that user address is never qremoved.
No objections from: alc
MFC after: 1 week
-rw-r--r-- | sys/amd64/amd64/pmap.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/amd64/amd64/pmap.c b/sys/amd64/amd64/pmap.c index c2debf7..4bdf382 100644 --- a/sys/amd64/amd64/pmap.c +++ b/sys/amd64/amd64/pmap.c @@ -1481,6 +1481,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; } |