ega_putuchar 73 kernel/genarch/src/drivers/ega/ega.c static void ega_putuchar(outdev_t *, char32_t); ega_putuchar 77 kernel/genarch/src/drivers/ega/ega.c .write = ega_putuchar,