diff options
| -rw-r--r-- | sys/vm/vm_page.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/sys/vm/vm_page.c b/sys/vm/vm_page.c index e517561..dbd0263 100644 --- a/sys/vm/vm_page.c +++ b/sys/vm/vm_page.c @@ -604,8 +604,9 @@ vm_page_remove(vm_page_t m) mtx_assert(&vm_page_queue_mtx, MA_OWNED); if (m->object == NULL) return; - if (!VM_OBJECT_LOCKED(m->object)) - GIANT_REQUIRED; +#ifndef __alpha__ + VM_OBJECT_LOCK_ASSERT(m->object, MA_OWNED); +#endif if ((m->flags & PG_BUSY) == 0) { panic("vm_page_remove: page not busy"); } |
