diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-03-26 21:00:41 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-03-26 21:00:41 +0000 |
| commit | 9d314501363cae362c9cdb07344eb7380ebd9849 (patch) | |
| tree | 2505411c17f870dcb3841fb19bec49a2c1b27575 /boot/ux.h | |
| parent | 94f1f96d40edc17ec9e7beeaab9533b33ec349df (diff) | |
(_pager_seqnos_memory_object_data_request): Add code to check to see
if there is an existing anticipation that corresponds, and use that in
preference to actual pagein. If this page is dirty, then mark the
page precious to make sure it gets paged out eventually.
Diffstat (limited to 'boot/ux.h')
0 files changed, 0 insertions, 0 deletions