From fdfbba4fc76abbe7339d46bf68893053a8c5bfae Mon Sep 17 00:00:00 2001 From: "Michael I. Bushnell" Date: Tue, 20 Jun 1995 17:06:19 +0000 Subject: (pager_clean): Removed. --- libpager/pager.h | 7 ------- 1 file changed, 7 deletions(-) (limited to 'libpager') 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 -- cgit v1.2.3