Index: kernel/generic/src/ipc/ipc.c
===================================================================
--- kernel/generic/src/ipc/ipc.c	(revision 0c1a5d8afc92defd6f72d5e63c28c60152e3d46b)
+++ kernel/generic/src/ipc/ipc.c	(revision 69e9dd2f7155aa5c481a39cd38d3d9bc2e03423b)
@@ -375,4 +375,5 @@
 	call_t *call;
 	phone_t *phone;
+	DEADLOCK_PROBE_INIT(p_phonelck);
 
 	/* Disconnect all our phones ('ipc_phone_hangup') */
@@ -388,7 +389,8 @@
 	while (!list_empty(&TASK->answerbox.connected_phones)) {
 		phone = list_get_instance(TASK->answerbox.connected_phones.next,
-					  phone_t, link);
+		    phone_t, link);
 		if (! spinlock_trylock(&phone->lock)) {
 			spinlock_unlock(&TASK->answerbox.lock);
+			DEADLOCK_PROBE(p_phonelck, DEADLOCK_THRESHOLD);
 			goto restart_phones;
 		}
Index: kernel/generic/src/ipc/irq.c
===================================================================
--- kernel/generic/src/ipc/irq.c	(revision 0c1a5d8afc92defd6f72d5e63c28c60152e3d46b)
+++ kernel/generic/src/ipc/irq.c	(revision 69e9dd2f7155aa5c481a39cd38d3d9bc2e03423b)
@@ -337,4 +337,5 @@
 		link_t *cur = box->irq_head.next;
 		irq_t *irq;
+		DEADLOCK_PROBE_INIT(p_irqlock);
 		
 		irq = list_get_instance(cur, irq_t, notif_cfg.link);
@@ -345,4 +346,5 @@
 			spinlock_unlock(&box->irq_lock);
 			interrupts_restore(ipl);
+			DEADLOCK_PROBE(p_irqlock, DEADLOCK_THRESHOLD);
 			goto loop;
 		}