int serial_tstc(void) { return ((INL_CONSOLE_INB(lsr) & LSR_DR) != 0); }
void serial_putc(const u_char c) { while ((INL_CONSOLE_INB(lsr) & LSR_THRE) == 0) ; INL_CONSOLE_OUTB(thr, c); }
int serial_getc(void) { while ((INL_CONSOLE_INB(lsr) & LSR_DR) == 0) ; return (INL_CONSOLE_INB(rbr)); }