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 | 31da7bd62ef8f315db44ad47ee423c55fc46cf27 (patch) | |
| tree | 2d8bbd0cd5013e3fa3d759a638b873763579ce0f /devio/dev.c | |
| parent | 663bd31c43b788156c193b8d79895fb7af58aa70 (diff) | |
(struct user_pager_info): New members `allow_unlocked_pagein' and
`unlocked_pagein_length'.
(unlocked_pagein_lock): New variable.
Diffstat (limited to 'devio/dev.c')
0 files changed, 0 insertions, 0 deletions