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 | dbe8a4ba45fddb5086ed0393ed16656a390d5e1c (patch) | |
| tree | 04e88f4449ee193173bb7bd7501b749b09b21f5c /devio/dev.c | |
| parent | a064ef82e289f6ca6ba19b13f276fbd31524c899 (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/dev.c')
0 files changed, 0 insertions, 0 deletions