[PATCH gnumach] Delete include/mach/default_pager.defs

[Flavio Cruz]

We already have the same definition in the Hurd source tree.
---
 Makefrag.am                     |  1 -
 include/mach/default_pager.defs | 65 ---------------------------------
 2 files changed, 66 deletions(-)
 delete mode 100644 include/mach/default_pager.defs

diff --git a/Makefrag.am b/Makefrag.am
index 50389ad7..64d41d7b 100644
--- a/Makefrag.am
+++ b/Makefrag.am
@@ -367,7 +367,6 @@ include_device_HEADERS = \
 
 include_machdir = $(includedir)/mach
 include_mach_HEADERS = \
-       include/mach/default_pager.defs \
        include/mach/default_pager_types.defs \
        include/mach/exc.defs \
        include/mach/mach.defs \
diff --git a/include/mach/default_pager.defs b/include/mach/default_pager.defs
deleted file mode 100644
index e2154e2e..00000000
--- a/include/mach/default_pager.defs
+++ /dev/null
@@ -1,65 +0,0 @@
-/* 
- * Mach Operating System
- * Copyright (c) 1991,1990,1989 Carnegie Mellon University
- * All Rights Reserved.
- * 
- * Permission to use, copy, modify and distribute this software and its
- * documentation is hereby granted, provided that both the copyright
- * notice and this permission notice appear in all copies of the
- * software, derivative works or modified versions, and any portions
- * thereof, and that both notices appear in supporting documentation.
- * 
- * CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
- * CONDITION.  CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
- * ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
- * 
- * Carnegie Mellon requests users of this software to return to
- * 
- *  Software Distribution Coordinator  or  Software.Distribution@CS.CMU.EDU
- *  School of Computer Science
- *  Carnegie Mellon University
- *  Pittsburgh PA 15213-3890
- * 
- * any improvements or extensions that they make and grant Carnegie Mellon
- * the rights to redistribute these changes.
- */
-
-subsystem default_pager 2275;
-
-#include <mach/std_types.defs>
-#include <mach/mach_types.defs>
-#include <mach/default_pager_types.defs>
-
-routine        default_pager_object_create(
-               default_pager           : mach_port_t;
-       out     memory_object           : memory_object_t =
-                       MACH_MSG_TYPE_MAKE_SEND;
-               object_size             : vm_size_t);
-
-routine default_pager_info(
-               default_pager           : mach_port_t;
-       out     info                    : default_pager_info_t);
-
-routine default_pager_objects(
-               default_pager           : mach_port_t;
-       out     objects                 : default_pager_object_array_t,
-                       CountInOut, Dealloc;
-       out     ports                   : mach_port_array_t =
-                       array[] of mach_port_move_send_t,
-                       CountInOut, Dealloc);
-
-routine default_pager_object_pages(
-               default_pager           : mach_port_t;
-               memory_object           : memory_object_name_t;
-       out     pages                   : default_pager_page_array_t,
-                       CountInOut, Dealloc);
-
-routine default_pager_paging_file(
-               default_pager           : mach_port_t;
-               master_device_port      : mach_port_t;
-               filename                : default_pager_filename_t;
-               add                     : boolean_t);
-
-routine default_pager_register_fileserver(
-               default_pager           : mach_port_t;
-               fileserver_port         : mach_port_t);
-- 
2.39.2