stdout_redraw 107 kernel/generic/src/console/console.c static void stdout_redraw(outdev_t *); stdout_redraw 113 kernel/generic/src/console/console.c .redraw = stdout_redraw,