thermosphere: resend debug event if not handled

2020-01-28 00:38:53 +00:00
parent adc6962d99
commit cba5c08bbc
3 changed files with 21 additions and 6 deletions
--- a/thermosphere/src/exceptions.c
+++ b/thermosphere/src/exceptions.c
@@ -122,7 +122,7 @@ void exceptionReturnPreprocess(ExceptionStackFrame *frame)
    if (currentCoreCtx->wasPaused && frame == currentCoreCtx->guestFrame) {
        // Were we paused & are we about to return to the guest?
        exceptionEnterInterruptibleHypervisorCode();
-        debugManagerHandlePause();
+        while (!debugManagerHandlePause());
        fpuCleanInvalidateRegisterCache();
    }