diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-02 15:18:42 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-02 15:18:42 +0000 |
| commit | 4f0593cc021714fbd887dfca79d4328d4cd07199 (patch) | |
| tree | 19f02db696cd35ef11a9b24e35ddf1d78c42adba /hurd | |
| parent | fb671ed18f55d956b661b71db026610b46c3979c (diff) | |
(pager_offer_page): Make sure we hold lock across operation. Also set
incore bit when operation is complete.
Diffstat (limited to 'hurd')
0 files changed, 0 insertions, 0 deletions