HelenOS sources

console_unlock     78 kernel/generic/include/console/console.h extern void console_unlock(void);
console_unlock    188 kernel/generic/src/log/log.c 	console_unlock();
console_unlock     65 kernel/generic/src/printf/vprintf.c 	console_unlock();