HelenOS sources

SPINLOCK_INITIALIZE_NAME  114 kernel/generic/include/synch/spinlock.h 	SPINLOCK_INITIALIZE_NAME(lock_name, #lock_name)
SPINLOCK_INITIALIZE_NAME   82 kernel/generic/src/console/console.c SPINLOCK_INITIALIZE_NAME(kio_lock, "kio_lock");