HelenOS sources

root/kernel/generic/include/synch/

[..]
condvar.h mutex.h semaphore.h smc.h spinlock.h
syswaitq.h waitq.h
[..]
HelenOS homepage, sources at GitHub