1 files changed, 40 insertions, 0 deletions
diff --git a/debian/patches/0002-ipc-also-use-the-kernel-message-buffer-cache-for-ker.patch b/debian/patches/0002-ipc-also-use-the-kernel-message-buffer-cache-for-ker.patch
new file mode 100644
index 0000000..aa64b34
--- /dev/null
+++ b/debian/patches/0002-ipc-also-use-the-kernel-message-buffer-cache-for-ker.patch
@@ -0,0 +1,40 @@
+From b4bfcd3564cd7443a44aa8f238c3c865a18a10f5 Mon Sep 17 00:00:00 2001
+From: Justus Winter <4winter@informatik.uni-hamburg.de>
+Date: Wed, 17 Dec 2014 14:47:19 +0100
+Subject: [PATCH gnumach 2/3] ipc: also use the kernel message buffer cache for
+ kernel messages
+
+* ipc/ipc_kmsg.c (ipc_kmsg_get_from_kernel): Use the ikm cache.
+(ipc_kmsg_put_to_kernel): Likewis.
+---
+ ipc/ipc_kmsg.c | 5 ++---
+ 1 file changed, 2 insertions(+), 3 deletions(-)
+
+diff --git a/ipc/ipc_kmsg.c b/ipc/ipc_kmsg.c
+index 04cdbc9..c26569b 100644
+--- a/ipc/ipc_kmsg.c
++++ b/ipc/ipc_kmsg.c
+@@ -544,10 +544,9 @@ ipc_kmsg_get_from_kernel(
+ 	assert(size >= sizeof(mach_msg_header_t));
+ 	assert((size & 3) == 0);
+ 
+-	kmsg = ikm_alloc(size);
++	kmsg = ikm_cache_get (size);
+ 	if (kmsg == IKM_NULL)
+ 		return MACH_SEND_NO_BUFFER;
+-	ikm_init(kmsg, size);
+ 
+ 	memcpy(&kmsg->ikm_header, msg, size);
+ 
+@@ -611,7 +610,7 @@ ipc_kmsg_put_to_kernel(
+ 
+ 	memcpy(msg, &kmsg->ikm_header, size);
+ 
+-	ikm_free(kmsg);
++	ikm_cache_put (kmsg);
+ }
+ 
+ /*
+-- 
+2.1.3
+