thermosphere: fix multiple bugs

2019-12-23 20:12:02 +00:00
parent e7b351ddb8
commit 6cef320bc1
7 changed files with 27 additions and 9 deletions
--- a/thermosphere/src/irq.h
+++ b/thermosphere/src/irq.h
@@ -27,6 +27,7 @@
 typedef struct IrqManager {
    RecursiveSpinlock lock;
    ArmGicV2 gic;
+    u8 priorityShift;
    u8 numPriorityLevels;
    u8 numCpuInterfaces;
    u8 numSharedInterrupts;