ega_redraw_internal 582 kernel/genarch/src/drivers/ega/ega.c ega_redraw_internal(instance); ega_redraw_internal 596 kernel/genarch/src/drivers/ega/ega.c ega_redraw_internal(instance);