From 76a5e745e47aa33fb5eea499ef051be6a55e61f9 Mon Sep 17 00:00:00 2001
From: TuxSH <1922548+TuxSH@users.noreply.github.com>
Date: Fri, 3 Jan 2020 01:57:57 +0000
Subject: [PATCH] thermosphere: honor irq config for ppis

---
 thermosphere/src/vgic.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/thermosphere/src/vgic.c b/thermosphere/src/vgic.c
index 0804db346..03d7104d1 100644
--- 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;
     }