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