thermosphere: honor irq config for ppis

2020-01-03 01:57:57 +00:00
parent 5f83df2599
commit 7573d1ad3e
1 changed files with 0 additions and 2 deletions
--- a/thermosphere/src/vgic.c
+++ b/thermosphere/src/vgic.c
@@ -226,8 +226,6 @@ static inline bool vgicIsVirqEdgeTriggered(u16 id)

    if (id < 16) {
        return true;
-    } else if (id < 32) {
-        return false;
    } else {
        return (g_irqManager.gic.gicd->icfgr[id / 16] & (2 << (id % 16))) != 0;
    }