thermosphere: add fpu regs save/restore

This commit is contained in:
TuxSH
2020-01-14 00:32:09 +00:00
parent c085a67150
commit 84a2dc4ad9
5 changed files with 150 additions and 1 deletions

View File

@@ -212,7 +212,7 @@ void handleIrqException(ExceptionStackFrame *frame, bool isLowerEl, bool isA32)
u32 irqId = iar & 0x3FF;
u32 srcCore = (iar >> 10) & 7;
DEBUG("EL2 [core %d]: Received irq %x\n", (int)currentCoreCtx->coreId, irqId);
//DEBUG("EL2 [core %d]: Received irq %x\n", (int)currentCoreCtx->coreId, irqId);
if (irqId == GIC_IRQID_SPURIOUS) {
// Spurious interrupt received