wscons_putc 408 bsp/drv/dev/base/wscons.c wscons_putc(c); wscons_putc 428 bsp/drv/dev/base/wscons.c wscons_putc(c);