diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-20 10:43:23 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-20 10:43:23 +0100 |
| commit | a6ab8f2b53b77a08bed687dc8707e76baf00a597 (patch) | |
| tree | 8a0034068f18265f1b6e9dc34e769d676aa685dc | |
| parent | 497538214291a65b549b7a30f6b2a84fc484cd17 (diff) | |
removed inline_x_server_routines.patch
| -rw-r--r-- | debian/patches/inline_x_server_routines.patch | 61 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 0 insertions, 62 deletions
diff --git a/debian/patches/inline_x_server_routines.patch b/debian/patches/inline_x_server_routines.patch deleted file mode 100644 index bb8550f..0000000 --- a/debian/patches/inline_x_server_routines.patch +++ /dev/null @@ -1,61 +0,0 @@ ---- a/kern/ipc_kobject.c -+++ b/kern/ipc_kobject.c -@@ -49,6 +49,19 @@ - #include <vm/memory_object_proxy.h> - #include <device/ds_routines.h> - -+#include <kern/mach.server.h> -+#include <ipc/mach_port.server.h> -+#include <kern/mach_host.server.h> -+#include <device/device.server.h> -+#include <device/device_pager.server.h> -+#include <kern/mach4.server.h> -+#include <kern/gnumach.server.h> -+#include <kern/experimental.server.h> -+ -+#if MACH_DEBUG -+#include <kern/mach_debug.server.h> -+#endif -+ - #if MACH_MACHINE_ROUTINES - #include <machine/machine_routines.h> - #endif -@@ -146,18 +159,6 @@ ipc_kobject_server(request) - * to perform the kernel function - */ - { -- extern mig_routine_t mach_server_routine(), -- mach_port_server_routine(), -- mach_host_server_routine(), -- device_server_routine(), -- device_pager_server_routine(), -- mach4_server_routine(), -- gnumach_server_routine(), -- experimental_server_routine(); --#if MACH_DEBUG -- extern mig_routine_t mach_debug_server_routine(); --#endif -- - #if MACH_MACHINE_ROUTINES - extern mig_routine_t MACHINE_SERVER_ROUTINE(); - #endif ---- a/vm/memory_object_proxy.h -+++ b/vm/memory_object_proxy.h -@@ -30,17 +30,6 @@ - - extern void memory_object_proxy_init (void); - extern boolean_t memory_object_proxy_notify (mach_msg_header_t *msg); --extern kern_return_t memory_object_create_proxy (const ipc_space_t space, -- vm_prot_t max_protection, -- ipc_port_t *object, -- natural_t object_count, -- const vm_offset_t *offset, -- natural_t offset_count, -- const vm_offset_t *start, -- natural_t start_count, -- const vm_offset_t *len, -- natural_t len_count, -- ipc_port_t *port); - extern kern_return_t memory_object_proxy_lookup (ipc_port_t port, - ipc_port_t *object, - vm_prot_t *max_protection); diff --git a/debian/patches/series b/debian/patches/series index 38560f9..3296a83 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -3,5 +3,4 @@ 50_initrd.patch 60_bigmem.patch 70_dde.patch -inline_x_server_routines.patch protected_payload.patch |