while (!(*port->read & IO_MASK(R_SERIAL0_READ, tr_ready)))
if (!kgdb_port) return;  while (!(*kgdb_port->read & IO_MASK(R_SERIAL0_READ, tr_ready)))
putDebugChar(int val){	while (!(*port->read & IO_MASK(R_SERIAL0_READ, tr_ready)))		;	*port->write = val;}