ega_write 74 kernel/genarch/src/drivers/ega/ega.c static void ega_write(outdev_t *, const char *, size_t); ega_write 78 kernel/genarch/src/drivers/ega/ega.c .write = ega_write,