diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-03 13:15:27 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-03 13:15:27 +0000 |
| commit | 7411c49b35acda5bc08c437469e18d2ca782a7f3 (patch) | |
| tree | 09fbf752cb4cba3453ab7cb204299131d59d9bcc /proc/mgt.c | |
| parent | b9889ede742e3e189356be258d49d67982ac1174 (diff) | |
(struct user_pager_info): New members `allow_unlocked_pagein' and
`unlocked_pagein_length'.
(unlocked_pagein_lock): New variable.
Diffstat (limited to 'proc/mgt.c')
0 files changed, 0 insertions, 0 deletions