ega_redraw_internal 592 kernel/genarch/src/drivers/ega/ega.c ega_redraw_internal(instance); ega_redraw_internal 606 kernel/genarch/src/drivers/ega/ega.c ega_redraw_internal(instance);