ega_redraw 74 kernel/genarch/src/drivers/ega/ega.c static void ega_redraw(outdev_t *); ega_redraw 78 kernel/genarch/src/drivers/ega/ega.c .redraw = ega_redraw,