diff options
| author | Sergey Bugaev <bugaevc@gmail.com> | 2021-05-06 15:56:27 +0300 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2021-05-06 23:58:42 +0200 |
| commit | 7b3815d91a49672864ad3cb2515eba01320d8360 (patch) | |
| tree | 2a178d699f6824bf0f4b762b0423eec098dbb9d8 /libpager/pagemap.c | |
| parent | a9f1e487350cca14ac7df732ac24437822d4eac9 (diff) | |
| download | hurd-7b3815d91a49672864ad3cb2515eba01320d8360.tar.gz hurd-7b3815d91a49672864ad3cb2515eba01320d8360.tar.bz2 hurd-7b3815d91a49672864ad3cb2515eba01320d8360.zip | |
libpager: Do not flush in-core pages on offer
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 not doing that, and calling memory_object_data_supply ()
directly.
Message-Id: <20210506125631.79117-3-bugaevc@gmail.com>
Diffstat (limited to 'libpager/pagemap.c')
0 files changed, 0 insertions, 0 deletions