HelenOS sources

SPINLOCK_EXTERN    69 kernel/generic/include/console/console.h SPINLOCK_EXTERN(kio_lock);
SPINLOCK_EXTERN    97 kernel/generic/include/console/kconsole.h SPINLOCK_EXTERN(cmd_lock);
SPINLOCK_EXTERN    61 kernel/generic/include/mm/asid.h SPINLOCK_EXTERN(asidlock);