Index: generic/src/ipc/sysipc.c
===================================================================
--- generic/src/ipc/sysipc.c	(revision 2d5a54f36916260c13bbe3019397b4fb1d573073)
+++ generic/src/ipc/sysipc.c	(revision b6b576cff6e554b94baf578554e7488d2ac08253)
@@ -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);
 }