static int bsp_in_char(void) { int tmp; while ((tmp = console_inbyte_nonblocking(0)) < 0); return tmp; }
int csb250_get_char(void) { return console_inbyte_nonblocking(0); }