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