diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-02-09 02:05:17 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-02-09 02:05:17 +0100 |
| commit | 79d3b3e7842f594dcba90eb495e44b3e2ad5c3c7 (patch) | |
| tree | 58e5799d1974906514e49fc0955ef33cc35a01e7 | |
| parent | fd63a4bbf6f2201846f37afba348c5db88364c44 (diff) | |
vm_page: Avoid double-paging when we do not have a DMM
| -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 { |