diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:06:19 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:06:19 +0000 |
| commit | fdfbba4fc76abbe7339d46bf68893053a8c5bfae (patch) | |
| tree | 41b8d4113128c1b9c829b09dc847aee70abdc9a2 | |
| parent | d5f12a6a03607d26d2d94dab71461eba6a55b23e (diff) | |
(pager_clean): Removed.
| -rw-r--r-- | libpager/pager.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/libpager/pager.h b/libpager/pager.h index f73d74f3..8e500933 100644 --- a/libpager/pager.h +++ b/libpager/pager.h @@ -97,13 +97,6 @@ pager_get_port (struct pager *pager); void pager_shutdown (struct pager *pager); -/* This is a clean routine which should be called when a pager port is - being deallocated. It can be specified as the clean routine for - the port classes passed in pager_create. ARG is the address of the - struct pager referenced by the port. */ -void -pager_clean (void *arg); - /* Return the error code of the last page error for pager P at address ADDR; this will be deleted when the kernel interface is fixed. */ error_t |