diff --git a/source/hal/driver/GigaDevice/GD32H7XX/common/driver.c b/source/hal/driver/GigaDevice/GD32H7XX/common/driver.c
index d3350a29d..7a6d10c76 100644
--- a/source/hal/driver/GigaDevice/GD32H7XX/common/driver.c
+++ b/source/hal/driver/GigaDevice/GD32H7XX/common/driver.c
@@ -767,8 +767,7 @@ vsf_err_t vsf_hw_pll_vco_config(const vsf_hw_clk_t *clk, uint_fast8_t src_presca
 
 uint_fast32_t vsf_arch_req___systimer_freq___from_usr(void)
 {
-    // SysTick runs at CK_SYS / 2
-    return vsf_hw_clk_get_freq_hz(&VSF_HW_CLK_SYS) >> 1;
+    return vsf_hw_clk_get_freq_hz(&VSF_HW_CLK_SYS);
 }
 
 
diff --git a/source/hal/driver/ST/STM32H7RSXX/common/driver.c b/source/hal/driver/ST/STM32H7RSXX/common/driver.c
index 002efbb4a..7adac954f 100644
--- a/source/hal/driver/ST/STM32H7RSXX/common/driver.c
+++ b/source/hal/driver/ST/STM32H7RSXX/common/driver.c
@@ -826,8 +826,7 @@ vsf_err_t vsf_hw_pll_vco_config(const vsf_hw_clk_t *clk, uint_fast8_t src_presca
 
 uint_fast32_t vsf_arch_req___systimer_freq___from_usr(void)
 {
-    // SysTick runs at Fsys_cpu_clk / 8
-    return vsf_hw_clk_get_freq_hz(&VSF_HW_CLK_SYS_CPU) >> 3;
+    return vsf_hw_clk_get_freq_hz(&VSF_HW_CLK_SYS_CPU);
 }