HelenOS sources

DEADLOCK_PROBE    665 kernel/generic/src/ipc/ipc.c 			DEADLOCK_PROBE(p_phonelck, DEADLOCK_THRESHOLD);
DEADLOCK_PROBE    232 kernel/generic/src/mm/as.c 		DEADLOCK_PROBE(p_asidlock, DEADLOCK_THRESHOLD);
DEADLOCK_PROBE   1637 kernel/generic/src/mm/as.c 		DEADLOCK_PROBE(p_asidlock, DEADLOCK_THRESHOLD);