platsupport, zynqmp: use axi instead of amba

Updates to the kernel device tree forces this change. Signed-off-by: Chris Guikema <chris.guikema@dornerworks.com>
seL4 · Sep 7, 2023 · 4f00909 · 4f00909
1 parent dba244d
commit 4f00909
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/libplatsupport/mach_include/zynq/platsupport/mach/timer.h b/libplatsupport/mach_include/zynq/platsupport/mach/timer.h
@@ -23,10 +23,10 @@
 #define IRQS_PER_TTC 3
 
 #ifdef CONFIG_PLAT_ZYNQMP
-#define TTC0_PATH "/amba/timer@ff110000"
-#define TTC1_PATH "/amba/timer@ff120000"
-#define TTC2_PATH "/amba/timer@ff130000"
-#define TTC3_PATH "/amba/timer@ff140000"
+#define TTC0_PATH "/axi/timer@ff110000"
+#define TTC1_PATH "/axi/timer@ff120000"
+#define TTC2_PATH "/axi/timer@ff130000"
+#define TTC3_PATH "/axi/timer@ff140000"
 #else
 /* zynq7000 */
 #define TTC0_PATH "/amba/timer@f8001000"