stdout_write 106 kernel/generic/src/console/console.c static void stdout_write(outdev_t *, char32_t); stdout_write 112 kernel/generic/src/console/console.c .write = stdout_write,