diff options
| author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-02-11 00:52:28 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2025-02-11 01:04:43 +0100 |
| commit | 07f78f7000400bd9d2b3a9f665e7cdfea0cd3df9 (patch) | |
| tree | ae5c33c93ff9c3d3fe73fcfdb2ca9a3ebbb35b6c /vm/vm_init.h | |
| parent | a6b9fff286f4b984d4d82afacdf48bd1401d04ab (diff) | |
vm_page: Keep evicting out pages with external pager
`double_paging` used to be used to detect when we have not really flushed
a page yet (we have just pushed it to the external pager for now) and we
really want to flush something because allocations are paused. But when we
do not have a default pager, we are not double-paging but we should still
continue evicting pages.
Diffstat (limited to 'vm/vm_init.h')
0 files changed, 0 insertions, 0 deletions