thermosphere: handle physical IRQs

This commit is contained in:
TuxSH committed 2021-02-19 21:51:33 +00:00
1 parent 271d2a0ddb
commit 0a9a8c2f15
10 files changed
+267 -12

No files matched your search

@@ -21,7 +21,9 @@
// For both guest and host
#define MAX_NUM_REGISTERED_INTERRUPTS 512
static inline void initGicv2Pointers(ArmGicV2 *gic)
#define GIC_IRQID_MAINTENANCE 25
static inline void initGicV2Pointers(ArmGicV2 *gic)
{
gic->gicd = (volatile ArmGicV2Distributor *)0x08000000ull;
gic->gicc = (volatile ArmGicV2Controller *)0x08010000ull;
@@ -21,7 +21,9 @@
// For both guest and host
#define MAX_NUM_REGISTERED_INTERRUPTS 512
static inline void initGicv2Pointers(ArmGicV2 *gic)
#define GIC_IRQID_MAINTENANCE 25
static inline void initGicV2Pointers(ArmGicV2 *gic)
{
gic->gicd = (volatile ArmGicV2Distributor *)0x50041000ull;
gic->gicc = (volatile ArmGicV2Controller *)0x50042000ull;