elfloader: Replace calls to reset_cntvoff

These calls can now be implemented via binding the /timer driver in the elfloader's device tree configuration (located in the kernel's platform directory). Signed-off-by: Kent McLeod <kent@kry10.com>
seL4 · May 30, 2023 · b0c2581 · b0c2581
1 parent ef74575
commit b0c2581
Show file tree

Hide file tree

Showing 19 changed files with 0 additions and 356 deletions.
diff --git a/elfloader-tool/src/plat/apq8064/platform_init.c b/elfloader-tool/src/plat/apq8064/platform_init.c
diff --git a/elfloader-tool/src/plat/bcm2711/platform_init.c b/elfloader-tool/src/plat/bcm2711/platform_init.c
diff --git a/elfloader-tool/src/plat/bcm2837/platform_init.c b/elfloader-tool/src/plat/bcm2837/platform_init.c
diff --git a/elfloader-tool/src/plat/exynos5/platform_init.c b/elfloader-tool/src/plat/exynos5/platform_init.c
@@ -92,15 +92,4 @@ void platform_init(void)
         nsscode->cpu1_boot_reg = 0;
         smc(SMC_DISABLE_TRUSTZONE, 0, 0, 0);
     }
-
-    /* Reset the virtual offset for the platform timer to 0 */
-    reset_cntvoff();
-}
-
-#if CONFIG_MAX_NUM_NODES > 1
-void non_boot_init(void)
-{
-    /* Reset the virtual offset for the platform timer to 0 */
-    reset_cntvoff();
 }
-#endif
diff --git a/elfloader-tool/src/plat/fvp/platform_init.c b/elfloader-tool/src/plat/fvp/platform_init.c
@@ -21,14 +21,5 @@ void platform_init(void)
                  "msr tpidr_el0, x0\n"
                  ::: "x0");
 
-    /* Reset the virtual offset for the platform timer to 0 */
-    reset_cntvoff();
 }
 
-#if CONFIG_MAX_NUM_NODES > 1
-void non_boot_init(void)
-{
-    /* Reset the virtual offset for the platform timer to 0 */
-    reset_cntvoff();
-}
-#endif
diff --git a/elfloader-tool/src/plat/hikey/platform_init.c b/elfloader-tool/src/plat/hikey/platform_init.c
diff --git a/elfloader-tool/src/plat/imx7/platform_init.c b/elfloader-tool/src/plat/imx7/platform_init.c
diff --git a/elfloader-tool/src/plat/imx8m-evk/platform_init.c b/elfloader-tool/src/plat/imx8m-evk/platform_init.c
diff --git a/elfloader-tool/src/plat/maaxboard/platform_init.c b/elfloader-tool/src/plat/maaxboard/platform_init.c
diff --git a/elfloader-tool/src/plat/odroidc2/platform_init.c b/elfloader-tool/src/plat/odroidc2/platform_init.c
diff --git a/elfloader-tool/src/plat/odroidc4/platform_init.c b/elfloader-tool/src/plat/odroidc4/platform_init.c
diff --git a/elfloader-tool/src/plat/qemu-arm-virt/platform_init.c b/elfloader-tool/src/plat/qemu-arm-virt/platform_init.c
diff --git a/elfloader-tool/src/plat/quartz64/platform_init.c b/elfloader-tool/src/plat/quartz64/platform_init.c
diff --git a/elfloader-tool/src/plat/rockpro64/platform_init.c b/elfloader-tool/src/plat/rockpro64/platform_init.c
diff --git a/elfloader-tool/src/plat/tk1/platform_init.c b/elfloader-tool/src/plat/tk1/platform_init.c
@@ -309,14 +309,5 @@ void platform_init(void)
     switch_to_mon_mode();
 #endif
 
-    /* Reset the virtual offset for the platform timer to 0 */
-    reset_cntvoff();
 }
 
-#if CONFIG_MAX_NUM_NODES > 1
-void non_boot_init(void)
-{
-    /* Reset the virtual offset for the platform timer to 0 */
-    reset_cntvoff();
-}
-#endif
diff --git a/elfloader-tool/src/plat/tqma8xqp1gb/platform_init.c b/elfloader-tool/src/plat/tqma8xqp1gb/platform_init.c
diff --git a/elfloader-tool/src/plat/tx1/platform_init.c b/elfloader-tool/src/plat/tx1/platform_init.c
diff --git a/elfloader-tool/src/plat/tx2/platform_init.c b/elfloader-tool/src/plat/tx2/platform_init.c
@@ -84,15 +84,4 @@ static void enable_serr(void)
 void platform_init(void)
 {
     enable_serr();
-
-    /* Reset the virtual offset for the platform timer to 0 */
-    reset_cntvoff();
-}
-
-#if CONFIG_MAX_NUM_NODES > 1
-void non_boot_init(void)
-{
-    /* Reset the virtual offset for the platform timer to 0 */
-    reset_cntvoff();
 }
-#endif
diff --git a/elfloader-tool/src/plat/zynqmp/platform_init.c b/elfloader-tool/src/plat/zynqmp/platform_init.c