Sergey Bugaev, le jeu. 06 mai 2021 15:56:27 +0300, a ecrit:
> pager_offer_page () is documented to may ignore the offered page if
> the kernel already has a copy in core (indeed, that's what Mach does).
>
> However the current behavior is the inverse of that: it asks the kernel
> to flush (i.e. dr
pager_offer_page () is documented to may ignore the offered page if
the kernel already has a copy in core (indeed, that's what Mach does).
However the current behavior is the inverse of that: it asks the kernel
to flush (i.e. drop) its in-core copy, and replace it with the offered
one. Fix this by
