diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:05:50 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:05:50 +0000 |
| commit | d5f12a6a03607d26d2d94dab71461eba6a55b23e (patch) | |
| tree | a25ddbf01d5cc93f6b3c354a3cbd2e4ffe4683a1 /libpager/clean.c | |
| parent | 48318fa3936aa95bb037bea45ff6036335c5b030 (diff) | |
(_pager_clean): Renamed from pager_clean.
Diffstat (limited to 'libpager/clean.c')
| -rw-r--r-- | libpager/clean.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libpager/clean.c b/libpager/clean.c index b8a3e3d0..85fa6c96 100644 --- a/libpager/clean.c +++ b/libpager/clean.c @@ -23,7 +23,7 @@ /* Called by port management routines when the last send-right to a pager has gone away. This is a dual of pager_create. */ void -pager_clean (void *arg) +_pager_clean (void *arg) { struct pager *p = arg; #ifdef KERNEL_INIT_RACE |