void serial_chr( uint16_t dev, char c ) { while ( serial_transmit_empty(dev) == 0 ); outport_b(dev,c); }
static void serial_send(int device, char out) { while (serial_transmit_empty(device) == 0); outportb(device, out); }