Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision dd884cb4f1ed5c80d68f90b870325b3d7e0741ce)
+++ kernel/generic/src/ipc/ipc.c	(revision 780edc78a2492e4f66ac0e3dc720c7427eb12b9f)
@@ -120,5 +120,5 @@
 		return NULL;
 
-	kobject_t *kobj = (kobject_t *) malloc(sizeof(kobject_t));
+	kobject_t *kobj = kobject_alloc(0);
 	if (!kobj) {
 		slab_free(call_cache, call);
Index: kernel/generic/src/ipc/ipcrsc.c
===================================================================
--- kernel/generic/src/ipc/ipcrsc.c	(revision dd884cb4f1ed5c80d68f90b870325b3d7e0741ce)
+++ kernel/generic/src/ipc/ipcrsc.c	(revision 780edc78a2492e4f66ac0e3dc720c7427eb12b9f)
@@ -76,5 +76,5 @@
 			return ENOMEM;
 		}
-		kobject_t *kobj = malloc(sizeof(kobject_t));
+		kobject_t *kobj = kobject_alloc(FRAME_ATOMIC);
 		if (!kobj) {
 			cap_free(TASK, handle);
Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision dd884cb4f1ed5c80d68f90b870325b3d7e0741ce)
+++ kernel/generic/src/ipc/irq.c	(revision 780edc78a2492e4f66ac0e3dc720c7427eb12b9f)
@@ -356,5 +356,5 @@
 	}
 
-	kobject_t *kobject = malloc(sizeof(kobject_t));
+	kobject_t *kobject = kobject_alloc(FRAME_ATOMIC);
 	if (!kobject) {
 		cap_free(TASK, handle);