Update mach timer.h to use axi instead of amba

Signed-off-by: Robbie VanVossen <[email protected]>
seL4 · Sep 7, 2023 · 4346823 · 4346823
1 parent dba244d
commit 4346823
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"