From: Jan Kiszka <jan.kis...@siemens.com>

So far, all SoCs provide us IRQ 27 as timer interrupt. Let's see if
there will ever be a difference, but it will remain the minority for
quite a while then.

Signed-off-by: Jan Kiszka <jan.kis...@siemens.com>
---
 inmates/lib/arm/include/mach.h   | 10 +++-------
 inmates/lib/arm64/include/mach.h | 13 ++++---------
 2 files changed, 7 insertions(+), 16 deletions(-)

diff --git a/inmates/lib/arm/include/mach.h b/inmates/lib/arm/include/mach.h
index a255947a..a8561be4 100644
--- a/inmates/lib/arm/include/mach.h
+++ b/inmates/lib/arm/include/mach.h
@@ -24,8 +24,6 @@
 #define GICD_V2_BASE   ((void *)0x50041000)
 #define GICC_V2_BASE   ((void *)0x50042000)
 
-#define TIMER_IRQ      27
-
 #elif defined(CONFIG_MACH_BANANAPI)
 #define CON_TYPE       "8250"
 #define CON_BASE       0x01c29c00
@@ -37,8 +35,6 @@
 #define GICD_V2_BASE   ((void *)0x01c81000)
 #define GICC_V2_BASE   ((void *)0x01c82000)
 
-#define TIMER_IRQ      27
-
 #elif defined(CONFIG_MACH_ORANGEPI0)
 #define CON_TYPE       "8250"
 #define CON_BASE       0x01c28000
@@ -46,8 +42,6 @@
 #define GICD_V2_BASE   ((void *)0x01c81000)
 #define GICC_V2_BASE   ((void *)0x01c82000)
 
-#define TIMER_IRQ      27
-
 #elif defined(CONFIG_MACH_VEXPRESS)
 #define CON_TYPE       "PL011"
 #define CON_BASE       0x1c090000
@@ -58,6 +52,8 @@
 #define GICD_V3_BASE   ((void *)0x2f000000)
 #define GICR_V3_BASE   ((void *)0x2f100000)
 
-#define TIMER_IRQ      27
+#endif
 
+#ifndef TIMER_IRQ
+#define TIMER_IRQ      27
 #endif
diff --git a/inmates/lib/arm64/include/mach.h b/inmates/lib/arm64/include/mach.h
index af4f0126..c315ba37 100644
--- a/inmates/lib/arm64/include/mach.h
+++ b/inmates/lib/arm64/include/mach.h
@@ -19,8 +19,6 @@
 #define GICD_V2_BASE   ((void *)0xe1110000)
 #define GICC_V2_BASE   ((void *)0xe112f000)
 
-#define TIMER_IRQ      27
-
 #elif defined(CONFIG_MACH_FOUNDATION_V8)
 #define CON_TYPE       "PL011"
 #define CON_BASE       0x1c090000
@@ -28,8 +26,6 @@
 #define GICD_V2_BASE   ((void *)0x2c001000)
 #define GICC_V2_BASE   ((void *)0x2c002000)
 
-#define TIMER_IRQ      27
-
 #elif defined(CONFIG_MACH_HIKEY)
 #define CON_TYPE       "PL011"
 #define CON_BASE       0xf7113000
@@ -37,8 +33,6 @@
 #define GICD_V2_BASE   ((void *)0xf6801000)
 #define GICC_V2_BASE   ((void *)0xf6802000)
 
-#define TIMER_IRQ      27
-
 #elif defined(CONFIG_MACH_JETSON_TX1)
 #define CON_TYPE       "8250"
 #define CON_BASE       0x70006000
@@ -46,8 +40,6 @@
 #define GICD_V2_BASE   ((void *)0x50041000)
 #define GICC_V2_BASE   ((void *)0x50042000)
 
-#define TIMER_IRQ      27
-
 #elif defined(CONFIG_MACH_ZYNQMP_ZCU102)
 #define CON_TYPE       "XUARTPS"
 #define CON_BASE       0xff010000
@@ -55,6 +47,9 @@
 #define GICD_V2_BASE   ((void *)0xf9010000)
 #define GICC_V2_BASE   ((void *)0xf902f000)
 
-#define TIMER_IRQ      27
 
 #endif
+
+#ifndef TIMER_IRQ
+#define TIMER_IRQ      27
+#endif
-- 
2.12.3

-- 
You received this message because you are subscribed to the Google Groups 
"Jailhouse" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to jailhouse-dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to