This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Mach".
The branch, master has been updated
via 07f78f7000400bd9d2b3a9f665e7cdfea0cd3df9 (commit)
from a6b9fff286f4b984d4d82afacdf48bd1401d04ab (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 07f78f7000400bd9d2b3a9f665e7cdfea0cd3df9
Author: Samuel Thibault <[email protected]>
Date: Tue Feb 11 00:52:28 2025 +0100
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.
-----------------------------------------------------------------------
Summary of changes:
vm/vm_page.c | 10 ++++++----
1 file changed, 6 insertions(+), 4 deletions(-)
hooks/post-receive
--
GNU Mach
