From a5a118458c5c9bed802cc0bc052d90ddaeaaa921 Mon Sep 17 00:00:00 2001
From: Yanyan Shen <yanyan.shen@data61.csiro.au>
Date: Tue, 27 Mar 2018 14:44:12 +1100
Subject: [PATCH] armv8/tx1: Handle VGIC_MAINTENANCE interrupts

---
 include/plat/tx1/plat/machine/hardware.h | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/include/plat/tx1/plat/machine/hardware.h b/include/plat/tx1/plat/machine/hardware.h
index 381808b5b..75eefae0b 100644
--- a/include/plat/tx1/plat/machine/hardware.h
+++ b/include/plat/tx1/plat/machine/hardware.h
@@ -16,6 +16,7 @@
 #include <config.h>
 #include <basic_types.h>
 #include <linker.h>
+#include <arch/object/vcpu.h>
 #include <plat/machine.h>
 #include <plat/machine/devices.h>
 
@@ -94,7 +95,11 @@ static const p_region_t BOOT_RODATA dev_p_regs[] = {
 static inline void
 handleReservedIRQ(irq_t irq)
 {
-
+    if ((config_set(CONFIG_ARM_HYPERVISOR_SUPPORT)) && (irq == INTERRUPT_VGIC_MAINTENANCE)) {
+        VGICMaintenance();
+        return;
+    }
+    printf("spurious irq %d\n", (int)irq);
 }
 
 #endif /* __PLAT_MACHINE_HARDWARE_H */