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