HelenOS sources

kio_push_char      68 kernel/generic/include/console/console.h extern void kio_push_char(const char32_t);
kio_push_char     316 kernel/generic/src/console/console.c 	kio_push_char(ch);
kio_push_char     180 kernel/generic/src/log/log.c 	kio_push_char('\n');
kio_push_char     207 kernel/generic/src/log/log.c 		kio_push_char(str_decode(str, &offset, size));
kio_push_char     223 kernel/generic/src/log/log.c 		kio_push_char(wstr[chars]);