diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-02-03 21:16:17 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-02-03 21:16:17 +0000 |
| commit | 74a4b341ddc9bbf34504fef7651178865875d907 (patch) | |
| tree | 7badf4d61a23b7dfaee5c99a478af1b27b63d3fc /libpager/pager.h | |
| parent | b06036d917509b2207547a3395069eac4d5814d3 (diff) | |
Formerly pager.h.~4~
Diffstat (limited to 'libpager/pager.h')
| -rw-r--r-- | libpager/pager.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libpager/pager.h b/libpager/pager.h index 2dca1e6f..54cd28d2 100644 --- a/libpager/pager.h +++ b/libpager/pager.h @@ -16,6 +16,9 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */ +#ifndef _HURD_PAGER_ +#define _HURD_PAGER_ + /* This is a user-dependent type which represents a location of a single page. */ typedef void *location_t; @@ -150,3 +153,5 @@ pager_report_extent (struct user_pager_info *pager, being deallocated after all extant send rights have been destroyed. */ void pager_clear_user_data (struct user_pager_info *pager); + +#endif |