thermosphere: add hypervisor timer code

2020-01-09 19:24:05 +00:00
parent 3d3a9925b9
commit 1eb60a2a52
10 changed files with 169 additions and 17 deletions
--- a/thermosphere/src/irq.c
+++ b/thermosphere/src/irq.c
@@ -18,6 +18,7 @@
 #include "core_ctx.h"
 #include "debug_log.h"
 #include "vgic.h"
+#include "timer.h"

 IrqManager g_irqManager = {0};

@@ -183,6 +184,9 @@ void handleIrqException(ExceptionStackFrame *frame, bool isLowerEl, bool isA32)
        case GIC_IRQID_MAINTENANCE:
            isMaintenanceInterrupt = true;
            break;
+        case TIMER_IRQID(CURRENT_TIMER):
+            timerInterruptHandler();
+            break;
        default:
            isGuestInterrupt = irqId >= 16;
            break;