HelenOS sources

kio_push_bytes     66 kernel/generic/include/console/console.h extern void kio_push_bytes(const char *, size_t);
kio_push_bytes    326 kernel/generic/src/console/console.c 	kio_push_bytes(s, n);
kio_push_bytes    180 kernel/generic/src/log/log.c 	kio_push_bytes("\n", 1);
kio_push_bytes    204 kernel/generic/src/log/log.c 	kio_push_bytes(str, size);