thermosphere: fix wrong icfgr shift; fix list handling bug

2020-01-05 16:04:53 +00:00
parent 7d30fce54c
commit 3424e0bf71
3 changed files with 13 additions and 7 deletions
--- a/thermosphere/src/irq.h
+++ b/thermosphere/src/irq.h
@@ -25,6 +25,8 @@
 #define IRQ_PRIORITY_HOST       0
 #define IRQ_PRIORITY_GUEST      1

+#define IRQ_CFGR_SHIFT(id)      (2*((id) % 16))
+
 typedef struct IrqManager {
    RecursiveSpinlock lock;
    ArmGicV2 gic;