diff options
| author | marius <marius@FreeBSD.org> | 2011-07-05 18:46:19 +0000 |
|---|---|---|
| committer | marius <marius@FreeBSD.org> | 2011-07-05 18:46:19 +0000 |
| commit | 08babefd2275ac4da3bc8eb796e7ef1b81ee7495 (patch) | |
| tree | 70f71b5f71ced13a4295cb394000080ae30f77c8 /sys/sparc64 | |
| parent | 7329900ba0be8322fcfb13ca0708c2a7d2398b4c (diff) | |
| download | FreeBSD-src-08babefd2275ac4da3bc8eb796e7ef1b81ee7495.zip FreeBSD-src-08babefd2275ac4da3bc8eb796e7ef1b81ee7495.tar.gz | |
In pmap_remove_all() assert that the page is neither fictitious nor
unmanaged as also done on other architectures.
Reviewed by: alc
Diffstat (limited to 'sys/sparc64')
| -rw-r--r-- | sys/sparc64/sparc64/pmap.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/sparc64/sparc64/pmap.c b/sys/sparc64/sparc64/pmap.c index 26c95cf..9ac3257 100644 --- a/sys/sparc64/sparc64/pmap.c +++ b/sys/sparc64/sparc64/pmap.c @@ -1387,6 +1387,8 @@ pmap_remove_all(vm_page_t m) struct tte *tp; vm_offset_t va; + KASSERT((m->flags & (PG_FICTITIOUS | PG_UNMANAGED)) == 0, + ("pmap_remove_all: page %p is not managed", m)); vm_page_lock_queues(); for (tp = TAILQ_FIRST(&m->md.tte_list); tp != NULL; tp = tpn) { tpn = TAILQ_NEXT(tp, tte_link); |
