HelenOS sources

SPINLOCK_INITIALIZE   85 kernel/generic/src/console/kconsole.c SPINLOCK_INITIALIZE(cmd_lock);  /**< Lock protecting command list. */
SPINLOCK_INITIALIZE  107 kernel/generic/src/mm/as.c SPINLOCK_INITIALIZE(asidlock);
SPINLOCK_INITIALIZE   41 kernel/test/synch/semaphore2.c SPINLOCK_INITIALIZE(sem_lock);