HelenOS sources

console_lock       77 kernel/generic/include/console/console.h extern void console_lock(void);
console_lock      152 kernel/generic/src/log/log.c 	console_lock();
console_lock       63 kernel/generic/src/printf/vprintf.c 	console_lock();