HelenOS sources

spinlock_initialize  131 kernel/generic/include/synch/spinlock.h static inline void spinlock_initialize(spinlock_t *l, const char *name)
spinlock_initialize   58 kernel/generic/src/synch/spinlock.c void spinlock_initialize(spinlock_t *lock, const char *name)
HelenOS homepage, sources at GitHub