diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-02-11 21:59:50 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-02-11 21:59:50 +0000 |
| commit | 49a17c55d69e5820e2f4c41bf8bca66dad956a64 (patch) | |
| tree | 42f41f01975ded74f87f257dc925ce8447ebdb3e /libpager/pager.h | |
| parent | e30fc23d76b52e0f458864b23baa52f9bf7377b9 (diff) | |
Formerly pager.h.~6~
Diffstat (limited to 'libpager/pager.h')
| -rw-r--r-- | libpager/pager.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libpager/pager.h b/libpager/pager.h index 6dc2a986..efb6ea3f 100644 --- a/libpager/pager.h +++ b/libpager/pager.h @@ -72,9 +72,9 @@ pager_flush_some (struct pager *pager, mach_port_t pager_get_port (struct pager *pager); -/* Call this (and do nothing else) whenever a no-senders notification - is called for a port of type pager_port_type. The first argument - is the result of a check_port_type. */ +/* Call this whenever a no-senders notification is called for a port + of type pager_port_type. The first argument is the result of a + check_port_type. */ void pager_no_senders (struct pager *pager, mach_port_seqno_t seqno, |