Index: kernel/generic/src/time/timeout.c
===================================================================
--- kernel/generic/src/time/timeout.c	(revision 2057572a989f56acc5c906946caebf6b2e039bda)
+++ kernel/generic/src/time/timeout.c	(revision 69e9dd2f7155aa5c481a39cd38d3d9bc2e03423b)
@@ -45,5 +45,4 @@
 #include <arch/asm.h>
 #include <arch.h>
-
 
 /** Initialize timeouts
@@ -176,4 +175,5 @@
 	link_t *l;
 	ipl_t ipl;
+	DEADLOCK_PROBE_INIT(p_tolock);
 
 grab_locks:
@@ -187,5 +187,6 @@
 	if (!spinlock_trylock(&t->cpu->timeoutlock)) {
 		spinlock_unlock(&t->lock);
-		interrupts_restore(ipl);		
+		interrupts_restore(ipl);
+		DEADLOCK_PROBE(p_tolock, DEADLOCK_THRESHOLD);
 		goto grab_locks;
 	}