diff options
| author | Miles Bader <miles@gnu.org> | 1997-07-16 18:53:41 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-07-16 18:53:41 +0000 |
| commit | 8ba3d92e48fe96e1cb9380c5f989441017ce053f (patch) | |
| tree | db8a7081e052714e139935c1c902ec447b88479b /sh-version.sed | |
| parent | d7052cce81b50a339c367dca10ef21143faf6cc9 (diff) | |
(dev_get_memory_object): Implement correctly.
(dev_stop_paging): Work entirely by flushing user pagers; don't kill pager.
(pager_clear_user_data): Zero our pointer to the pager.
Diffstat (limited to 'sh-version.sed')
0 files changed, 0 insertions, 0 deletions