HelenOS sources

console_unlock     79 kernel/generic/include/console/console.h extern void console_unlock(void);
console_unlock    189 kernel/generic/src/log/log.c 	console_unlock();
console_unlock     69 kernel/generic/src/printf/vprintf.c 	console_unlock();
console_unlock     82 kernel/generic/src/printf/vprintf.c 	console_unlock();