HelenOS sources

kio_push_char      68 kernel/generic/include/console/console.h extern void kio_push_char(const char32_t);
kio_push_char     325 kernel/generic/src/console/console.c 	kio_push_char(ch);
kio_push_char     181 kernel/generic/src/log/log.c 	kio_push_char('\n');
kio_push_char     208 kernel/generic/src/log/log.c 		kio_push_char(str_decode(str, &offset, size));