From 098d394a5cd2c245ff0920b3195d9941d3ef77e0 Mon Sep 17 00:00:00 2001
From: Hector Martin <marcan@marcan.st>
Date: Tue, 21 Sep 2021 13:33:23 +0900
Subject: [PATCH] exception: Handle Fast IPIs

Signed-off-by: Hector Martin <marcan@marcan.st>
---
 src/exception.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/exception.c b/src/exception.c
index 1895856a..bd14fec4 100644
--- a/src/exception.c
+++ b/src/exception.c
@@ -346,6 +346,11 @@ void exc_fiq(u64 *regs)
         reg_clr(SYS_IMP_APL_UPMCR0, UPMCR0_IMODE_MASK);
     }
 
+    if (mrs(SYS_IMP_APL_IPI_SR_EL1) & IPI_SR_PENDING) {
+        printf("  Fast IPI IRQ, clearing\n");
+        msr(SYS_IMP_APL_IPI_SR_EL1, IPI_SR_PENDING);
+    }
+
     UNUSED(regs);
     // print_regs(regs);
 }