diff options
-rw-r--r-- | sys/vm/vm_page.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sys/vm/vm_page.c b/sys/vm/vm_page.c index 91da256..5075fce 100644 --- a/sys/vm/vm_page.c +++ b/sys/vm/vm_page.c @@ -445,7 +445,7 @@ void vm_page_protect(vm_page_t mem, int prot) { if (prot == VM_PROT_NONE) { - if (mem->flags & (PG_WRITEABLE|PG_MAPPED)) { + if (pmap_page_is_mapped(mem) || (mem->flags & PG_WRITEABLE)) { pmap_page_protect(mem, VM_PROT_NONE); vm_page_flag_clear(mem, PG_WRITEABLE|PG_MAPPED); } |