diff options
-rw-r--r-- | serverboot/ChangeLog | 6 | ||||
-rw-r--r-- | serverboot/def_pager_setup.c | 12 |
2 files changed, 18 insertions, 0 deletions
diff --git a/serverboot/ChangeLog b/serverboot/ChangeLog index d95bc2a5..eace83e6 100644 --- a/serverboot/ChangeLog +++ b/serverboot/ChangeLog @@ -1,3 +1,9 @@ +2001-01-11 Marcus Brinkmann <marcus@gnu.org> + + * def_pager_setup.c: Include <mach/mig_errors.h> and + <mach/default_pager_types.h>. + (default_pager_paging_storage): New stub. + 2000-04-03 Roland McGrath <roland@baalperazim.frob.com> * panic.c: Include <stdarg.h> instead of <varargs.h>. diff --git a/serverboot/def_pager_setup.c b/serverboot/def_pager_setup.c index 8834a379..5e2073ec 100644 --- a/serverboot/def_pager_setup.c +++ b/serverboot/def_pager_setup.c @@ -24,6 +24,8 @@ * the rights to redistribute these changes. */ #include <mach.h> +#include <mach/mig_errors.h> +#include <mach/default_pager_types.h> #include <file_io.h> @@ -93,6 +95,16 @@ remove_paging_file(file_name) return kr; } +kern_return_t +default_pager_paging_storage (mach_port_t pager, + mach_port_t device, + recnum_t *runs, mach_msg_type_number_t nrun, + default_pager_filename_t name, + boolean_t add) +{ + return MIG_BAD_ID; +} + #if 0 /* no longer used */ /* * Set up default pager |