diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-16 15:00:19 +0100 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-01-16 15:00:19 +0100 |
| commit | a8582ee58fe0e39fd0cfd57ca5cf421b5e39b6bb (patch) | |
| tree | dd2a408a6ffe704e2bed339deda2b762be8f0742 | |
| parent | 581218be90759f49edad41f16d68ec99fe9cee90 (diff) | |
add inline_x_server_routines.patch
| -rw-r--r-- | debian/patches/inline_x_server_routines.patch | 63 | ||||
| -rw-r--r-- | debian/patches/series | 1 |
2 files changed, 64 insertions, 0 deletions
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 |