diff options
| author | attilio <attilio@FreeBSD.org> | 2013-02-27 18:23:12 +0000 |
|---|---|---|
| committer | attilio <attilio@FreeBSD.org> | 2013-02-27 18:23:12 +0000 |
| commit | 6ff1954532678bdc14498c2a61e2b749acb17398 (patch) | |
| tree | 88985dbf58a87b061427a70d3a82819d976225c2 /sys/amd64 | |
| parent | cbe7c0e1675e776d5cb08ccbfff3266adc6b0b8b (diff) | |
| download | FreeBSD-src-6ff1954532678bdc14498c2a61e2b749acb17398.zip FreeBSD-src-6ff1954532678bdc14498c2a61e2b749acb17398.tar.gz | |
MFC
Diffstat (limited to 'sys/amd64')
| -rw-r--r-- | sys/amd64/amd64/pmap.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/sys/amd64/amd64/pmap.c b/sys/amd64/amd64/pmap.c index 5636cfe..c6ab8d9 100644 --- a/sys/amd64/amd64/pmap.c +++ b/sys/amd64/amd64/pmap.c @@ -3555,9 +3555,8 @@ pmap_enter(pmap_t pmap, vm_offset_t va, vm_prot_t access, vm_page_t m, KASSERT((m->oflags & VPO_UNMANAGED) != 0 || va < kmi.clean_sva || va >= kmi.clean_eva, ("pmap_enter: managed mapping within the clean submap")); - KASSERT((m->oflags & (VPO_UNMANAGED | VPO_BUSY)) != 0 || - VM_OBJECT_LOCKED(m->object), - ("pmap_enter: page %p is not busy", m)); + if ((m->oflags & (VPO_UNMANAGED | VPO_BUSY)) == 0) + VM_OBJECT_LOCK_ASSERT(m->object, MA_OWNED); pa = VM_PAGE_TO_PHYS(m); newpte = (pt_entry_t)(pa | PG_A | PG_V); if ((access & VM_PROT_WRITE) != 0) |
