diff --git a/os/hal/boards/ST_NUCLEO144_H7A3ZI_Q/board.c b/os/hal/boards/ST_NUCLEO144_H7A3ZI_Q/board.c
index 69f8218f8..f6efac671 100644
--- a/os/hal/boards/ST_NUCLEO144_H7A3ZI_Q/board.c
+++ b/os/hal/boards/ST_NUCLEO144_H7A3ZI_Q/board.c
@@ -155,7 +155,7 @@ static void stm32_gpio_init(void) {
 
   /* Enabling GPIO-related clocks, the mask comes from the
      registry header file.*/
-  rccResetAHB4(STM32_GPIO_EN_MASK);
+  __rccResetAHB4(STM32_GPIO_EN_MASK);
   rccEnableAHB4(STM32_GPIO_EN_MASK, true);
 
   /* Initializing all the defined GPIO ports.*/
diff --git a/os/hal/boards/ST_STM32H735IG_DISCOVERY/board.c b/os/hal/boards/ST_STM32H735IG_DISCOVERY/board.c
index 675cc6f88..dc01ac5fa 100644
--- a/os/hal/boards/ST_STM32H735IG_DISCOVERY/board.c
+++ b/os/hal/boards/ST_STM32H735IG_DISCOVERY/board.c
@@ -155,7 +155,7 @@ static void stm32_gpio_init(void) {
 
   /* Enabling GPIO-related clocks, the mask comes from the
      registry header file.*/
-  rccResetAHB4(STM32_GPIO_EN_MASK);
+  __rccResetAHB4(STM32_GPIO_EN_MASK);
   rccEnableAHB4(STM32_GPIO_EN_MASK, true);
 
   /* Initializing all the defined GPIO ports.*/
diff --git a/os/hal/boards/ST_STM32H750XB_DISCOVERY/board.c b/os/hal/boards/ST_STM32H750XB_DISCOVERY/board.c
index 69f8218f8..f6efac671 100644
--- a/os/hal/boards/ST_STM32H750XB_DISCOVERY/board.c
+++ b/os/hal/boards/ST_STM32H750XB_DISCOVERY/board.c
@@ -155,7 +155,7 @@ static void stm32_gpio_init(void) {
 
   /* Enabling GPIO-related clocks, the mask comes from the
      registry header file.*/
-  rccResetAHB4(STM32_GPIO_EN_MASK);
+  __rccResetAHB4(STM32_GPIO_EN_MASK);
   rccEnableAHB4(STM32_GPIO_EN_MASK, true);
 
   /* Initializing all the defined GPIO ports.*/