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