diff options
| -rw-r--r-- | hurd/default_pager_types.h | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/hurd/default_pager_types.h b/hurd/default_pager_types.h new file mode 100644 index 00000000..7cd14a3d --- /dev/null +++ b/hurd/default_pager_types.h @@ -0,0 +1,28 @@ +/* C declarations for Hurd default pager interface + Copyright (C) 2001 Free Software Foundation, Inc. + +This file is part of the GNU Hurd. + +The GNU Hurd is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 2, or (at your option) +any later version. + +The GNU Hurd is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with the GNU Hurd; see the file COPYING. If not, write to +the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ + +#ifndef _DEFAULT_PAGER_TYPES_H +#define _DEFAULT_PAGER_TYPES_H + +#include <mach/std_types.h> /* For mach_port_t et al. */ +#include <device/device_types.h> /* For recnum_t. */ + +typedef recnum_t *recnum_array_t; + +#endif |