HelenOS sources

futex_destroy      66 uspace/lib/c/generic/io/kio.c 	futex_destroy(&kio_buffer.futex);
futex_destroy     889 uspace/lib/c/generic/thread/fibril.c 	futex_destroy(&fibril_futex);
futex_destroy     890 uspace/lib/c/generic/thread/fibril.c 	futex_destroy(&ipc_lists_futex);
futex_destroy      60 uspace/lib/c/generic/thread/fibril_synch.c 	futex_destroy(&m->futex);
futex_destroy     102 uspace/lib/c/generic/thread/fibril_synch.c 	futex_destroy(&fibril_synch_futex);