HelenOS sources

futex_assert_is_not_locked  271 uspace/lib/c/generic/thread/fibril.c 		futex_assert_is_not_locked(&fibril_futex);
futex_assert_is_not_locked  383 uspace/lib/c/generic/thread/fibril.c 	futex_assert_is_not_locked(&fibril_futex);
HelenOS homepage, sources at GitHub