HelenOS sources

console_lock       78 kernel/generic/include/console/console.h extern void console_lock(void);
console_lock      153 kernel/generic/src/log/log.c 	console_lock();
console_lock       60 kernel/generic/src/printf/vprintf.c 	console_lock();
console_lock       80 kernel/generic/src/printf/vprintf.c 	console_lock();