Changes in kernel/generic/src/ipc/ipc.c [f97f1e51:ab34cc9] in mainline

File:

• kernel/generic/src/ipc/ipc.c (modified) (1 diff)

kernel/generic/src/ipc/ipc.c

@@ -670 +670 @@
 void ipc_init(void)
 {
-        ipc_call_slab = slab_cache_create("call_t", sizeof(call_t), 0, NULL,
+        ipc_call_slab = slab_cache_create("ipc_call", sizeof(call_t), 0, NULL,
             NULL, 0);
-        ipc_answerbox_slab = slab_cache_create("answerbox_t",
+        ipc_answerbox_slab = slab_cache_create("ipc_answerbox",
             sizeof(answerbox_t), 0, NULL, NULL, 0);
 }