Index: generic/src/ipc/sysipc.c
===================================================================
--- generic/src/ipc/sysipc.c	(revision 2d5a54f36916260c13bbe3019397b4fb1d573073)
+++ generic/src/ipc/sysipc.c	(revision d764ddcbe18be0470e47c313dfb3b7325aad5b11)
@@ -81,10 +81,10 @@
 static void phone_dealloc(int phoneid)
 {
-	spinlock_lock(TASK->lock);
+	spinlock_lock(&TASK->lock);
 
 	ASSERT(TASK->phones[phoneid].callee);
 
 	TASK->phones[phoneid].callee = NULL;
-	spinlock_unlock(TASK->lock);
+	spinlock_unlock(&TASK->lock);
 }