Index: kernel/generic/src/ipc/ipcrsc.c
===================================================================
--- kernel/generic/src/ipc/ipcrsc.c	(revision e68765ee99cd285c57aa4a30d7ac3dfd1598259c)
+++ kernel/generic/src/ipc/ipcrsc.c	(revision 88db88d7da75b0b460726b667120838bfc1b3f63)
@@ -206,5 +206,5 @@
 	if (handle >= 0) {
 		irq_spinlock_lock(&task->lock, true);
-		cap_t *cap = &task->caps[handle];
+		cap_t *cap = cap_get(task, handle, CAP_TYPE_ALLOCATED);
 		ipc_phone_init(&cap->phone, task);
 		cap->type = CAP_TYPE_PHONE;