diff options
| author | Miles Bader <miles@gnu.org> | 1995-07-08 23:26:54 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-07-08 23:26:54 +0000 |
| commit | 57e6956a7b14ece4a867b44eb7d28b721530b9ce (patch) | |
| tree | 86935fc13b70f1a95d85954e592230b5d757ad59 /devio/mem.h | |
| parent | f56f833dabf047e9cda7ce5feafe4baa5f8e68c9 (diff) | |
(dev_stop_paging): New function.
(pager_dropweak): New function.
(pager_port_type): Deleted var.
(pager_port_bucket, pager_port_class): New vars.
(dev_get_memory_object): Moved here from dev.c. Also, call init_dev_pager if
necessary.
(service_paging_requests): New function.
(init_dev_pager): New function.
Diffstat (limited to 'devio/mem.h')
0 files changed, 0 insertions, 0 deletions