void __mriDebugException(void)
{
int wasWaitingForGdbToConnect = IsWaitingForGdbToConnect();
int justSingleStepped = Platform_IsSingleStepping();
if (Platform_CommCausedInterrupt() && !Platform_CommHasReceiveData())
{
Platform_CommClearInterrupt();
return;
}
Platform_EnteringDebuggerHook();
blockIfGdbHasNotConnected();
Platform_EnteringDebugger();
determineSignalValue();
if (isDebugTrap() &&
Semihost_IsDebuggeeMakingSemihostCall() &&
Semihost_HandleSemihostRequest() &&
!justSingleStepped )
{
prepareForDebuggerExit();
return;
}
if (!wasWaitingForGdbToConnect)
{
Platform_DisplayFaultCauseToGdbConsole();
Send_T_StopResponse();
}
GdbCommandHandlingLoop();
prepareForDebuggerExit();
}
static void waitForUartToReceiveData(void)
{
while (!Platform_CommHasReceiveData())
{
yieldUartBusToDma();
}
}
static int hasHostSentDataInLessThan10Milliseconds(void)
{
uint32_t originalSysTickControlValue = getCurrentSysTickControlValue();
uint32_t originalSysTickReloadValue = getCurrentSysTickReloadValue();
start10MillisecondSysTick();
while (isNoReceivedCharAndNoTimeout())
{
}
setSysTickReloadValue(originalSysTickReloadValue);
setSysTickControlValue(originalSysTickControlValue);
return Platform_CommHasReceiveData();
}
static int isNoReceivedCharAndNoTimeout(void)
{
return !Platform_CommHasReceiveData() && !has10MillisecondSysTickExpired();
}
static void waitForUartToReceiveData(void)
{
while (!Platform_CommHasReceiveData())
{
}
}
static void waitForReceiveData()
{
while (!Platform_CommHasReceiveData())
{
}
}
