thermosphere: handle physical IRQs

This commit is contained in:
TuxSH committed 2020-02-04 19:12:19 +00:00
1 parent 62fd2cd94d
commit c34df08ed9
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;