diff --git a/configs/nucleo-l432kc/src/stm32_userleds.c b/configs/nucleo-l432kc/src/stm32_userleds.c
index e6fa28f9864..0ff3ce66c86 100644
--- a/configs/nucleo-l432kc/src/stm32_userleds.c
+++ b/configs/nucleo-l432kc/src/stm32_userleds.c
@@ -172,7 +172,7 @@ void board_userled_initialize(void)
 {
   /* Configure LD2 GPIO for output */
 
-  stm32_configgpio(GPIO_LD2);
+  stm32l4_configgpio(GPIO_LD2);
 }
 
 /****************************************************************************
@@ -183,7 +183,7 @@ void board_userled(int led, bool ledon)
 {
   if (led == 1)
     {
-      stm32_gpiowrite(GPIO_LD2, ledon);
+      stm32l4_gpiowrite(GPIO_LD2, ledon);
     }
 }
 
@@ -195,7 +195,7 @@ void board_userled_all(uint8_t ledset)
 {
   if (led == 1)
     {
-      stm32_gpiowrite(GPIO_LD2, (ledset & BOARD_LD2_BIT) != 0);
+      stm32l4_gpiowrite(GPIO_LD2, (ledset & BOARD_LD2_BIT) != 0);
     }
 }