diff options
author | alc <alc@FreeBSD.org> | 2002-11-30 17:46:59 +0000 |
---|---|---|
committer | alc <alc@FreeBSD.org> | 2002-11-30 17:46:59 +0000 |
commit | 23d55a2ef1e368a06c1559bd336eb6fb144b2b40 (patch) | |
tree | f3c99d4dc967dc570632ef374c81d5274876689b /sys | |
parent | a70e53b6ba05e7bb028ba8c048ceacb70cf4ccbb (diff) | |
download | FreeBSD-src-23d55a2ef1e368a06c1559bd336eb6fb144b2b40.zip FreeBSD-src-23d55a2ef1e368a06c1559bd336eb6fb144b2b40.tar.gz |
Assert that the page queues lock is held in pmap_page_exists_quick().
Approved by: re (blanket)
Diffstat (limited to 'sys')
-rw-r--r-- | sys/amd64/amd64/pmap.c | 2 | ||||
-rw-r--r-- | sys/i386/i386/pmap.c | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sys/amd64/amd64/pmap.c b/sys/amd64/amd64/pmap.c index 5906837..6424880 100644 --- a/sys/amd64/amd64/pmap.c +++ b/sys/amd64/amd64/pmap.c @@ -2867,7 +2867,7 @@ pmap_page_exists_quick(pmap, m) return FALSE; s = splvm(); - + mtx_assert(&vm_page_queue_mtx, MA_OWNED); TAILQ_FOREACH(pv, &m->md.pv_list, pv_list) { if (pv->pv_pmap == pmap) { splx(s); diff --git a/sys/i386/i386/pmap.c b/sys/i386/i386/pmap.c index 5906837..6424880 100644 --- a/sys/i386/i386/pmap.c +++ b/sys/i386/i386/pmap.c @@ -2867,7 +2867,7 @@ pmap_page_exists_quick(pmap, m) return FALSE; s = splvm(); - + mtx_assert(&vm_page_queue_mtx, MA_OWNED); TAILQ_FOREACH(pv, &m->md.pv_list, pv_list) { if (pv->pv_pmap == pmap) { splx(s); |