HelenOS sources

SPINLOCK_INITIALIZER   88 kernel/generic/include/synch/spinlock.h #define SPINLOCK_INITIALIZER(desc_name) { .name = (desc_name), .flag = ATOMIC_FLAG_INIT }
SPINLOCK_INITIALIZER   90 kernel/generic/include/synch/spinlock.h #define SPINLOCK_INITIALIZER(desc_name) { .flag = ATOMIC_FLAG_INIT }
SPINLOCK_INITIALIZER   93 kernel/generic/include/synch/spinlock.h #define SPINLOCK_INITIALIZER(desc_name) {}