summaryrefslogtreecommitdiff
path: root/vm
diff options
context:
space:
mode:
Diffstat (limited to 'vm')
-rw-r--r--vm/vm_page.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/vm/vm_page.c b/vm/vm_page.c
index b39c3b9d..44573b10 100644
--- a/vm/vm_page.c
+++ b/vm/vm_page.c
@@ -1170,6 +1170,7 @@ restart:
assert(!(double_paging && page->external));
if (object->internal || !alloc_paused ||
+ ! IP_VALID(memory_manager_default) ||
memory_manager_default_port(object->pager)) {
double_paging = FALSE;
} else {