From fe1e2a1c09617cc000710ede5fb8099fa1f898c3 Mon Sep 17 00:00:00 2001 From: Justus Winter <4winter@informatik.uni-hamburg.de> Date: Thu, 16 Jan 2014 15:09:41 +0100 Subject: fix inline_x_server_routines.patch wrt 70_dde.patch --- debian/patches/inline_x_server_routines.patch | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) (limited to 'debian/patches') diff --git a/debian/patches/inline_x_server_routines.patch b/debian/patches/inline_x_server_routines.patch index e359940..bb8550f 100644 --- a/debian/patches/inline_x_server_routines.patch +++ b/debian/patches/inline_x_server_routines.patch @@ -1,8 +1,6 @@ -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 @@ +@@ -49,6 +49,19 @@ #include #include @@ -13,6 +11,7 @@ index 37d4eb9..13af820 100644 +#include +#include +#include ++#include + +#if MACH_DEBUG +#include @@ -21,7 +20,7 @@ index 37d4eb9..13af820 100644 #if MACH_MACHINE_ROUTINES #include #endif -@@ -146,17 +158,6 @@ ipc_kobject_server(request) +@@ -146,18 +159,6 @@ ipc_kobject_server(request) * to perform the kernel function */ { @@ -31,7 +30,8 @@ index 37d4eb9..13af820 100644 - device_server_routine(), - device_pager_server_routine(), - mach4_server_routine(), -- gnumach_server_routine(); +- gnumach_server_routine(), +- experimental_server_routine(); -#if MACH_DEBUG - extern mig_routine_t mach_debug_server_routine(); -#endif @@ -39,8 +39,6 @@ index 37d4eb9..13af820 100644 #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 @@ -- cgit v1.2.3