diff options
| -rw-r--r-- | vm/vm_page.c | 1 |
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 { |