void Platform_CommWaitForReceiveDataToStop(void) { while (hasHostSentDataInLessThan10Milliseconds()) { Platform_CommReceiveChar(); } }
static int didHostSendGdbAckChar(void) { return ('+' == Platform_CommReceiveChar()); }