From a8582ee58fe0e39fd0cfd57ca5cf421b5e39b6bb Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Thu, 16 Jan 2014 15:00:19 +0100
Subject: add inline_x_server_routines.patch

---
 debian/patches/inline_x_server_routines.patch | 63 +++++++++++++++++++++++++++
 debian/patches/series                         |  1 +
 2 files changed, 64 insertions(+)
 create mode 100644 debian/patches/inline_x_server_routines.patch

diff --git a/debian/patches/inline_x_server_routines.patch b/debian/patches/inline_x_server_routines.patch
new file mode 100644
index 0000000..e359940
--- /dev/null
+++ b/debian/patches/inline_x_server_routines.patch
@@ -0,0 +1,63 @@
+diff --git a/kern/ipc_kobject.c b/kern/ipc_kobject.c
+index 37d4eb9..13af820 100644
+--- a/kern/ipc_kobject.c
++++ b/kern/ipc_kobject.c
+@@ -49,6 +49,18 @@
+ #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>
++
++#if MACH_DEBUG
++#include <kern/mach_debug.server.h>
++#endif
++
+ #if	MACH_MACHINE_ROUTINES
+ #include <machine/machine_routines.h>
+ #endif
+@@ -146,17 +158,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();
+-#if	MACH_DEBUG
+-	extern mig_routine_t	mach_debug_server_routine();
+-#endif
+-
+ #if	MACH_MACHINE_ROUTINES
+ 	extern mig_routine_t	MACHINE_SERVER_ROUTINE();
+ #endif
+diff --git a/vm/memory_object_proxy.h b/vm/memory_object_proxy.h
+index 3de6996..dc0ea74 100644
+--- 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 a95f927..01aef04 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -3,3 +3,4 @@
 50_initrd.patch
 60_bigmem.patch
 70_dde.patch
+inline_x_server_routines.patch
-- 
cgit v1.2.3