diff --git a/configs/stm32f746-ws/include/board.h b/configs/stm32f746-ws/include/board.h
index ea5072ce203..17ca38417ea 100644
--- a/configs/stm32f746-ws/include/board.h
+++ b/configs/stm32f746-ws/include/board.h
@@ -274,16 +274,16 @@
  * SDIOCLK=48MHz, SDIO_CK=SDIOCLK/(118+2)=400 KHz
  */
 
-#define SDMMC1_INIT_CLKDIV        (118 << SDIO_CLKCR_CLKDIV_SHIFT)
+#define STM32_SDMMC_INIT_CLKDIV        (118 << STM32_SDMMC_CLKCR_CLKDIV_SHIFT)
 
 /* DMA ON:  SDIOCLK=48MHz, SDIO_CK=SDIOCLK/(1+2)=16 MHz
  * DMA OFF: SDIOCLK=48MHz, SDIO_CK=SDIOCLK/(2+2)=12 MHz
  */
 
 #ifdef CONFIG_SDIO_DMA
-#  define SDMMC1_MMCXFR_CLKDIV    (1 << SDIO_CLKCR_CLKDIV_SHIFT)
+#  define STM32_SDMMC_MMCXFR_CLKDIV    (1 << STM32_SDMMC_CLKCR_CLKDIV_SHIFT)
 #else
-#  define SDMMC1_MMCXFR_CLKDIV    (2 << SDIO_CLKCR_CLKDIV_SHIFT)
+#  define STM32_SDMMC_MMCXFR_CLKDIV    (2 << STM32_SDMMC_CLKCR_CLKDIV_SHIFT)
 #endif
 
 /* DMA ON:  SDIOCLK=48MHz, SDIO_CK=SDIOCLK/(1+2)=16 MHz
@@ -291,9 +291,9 @@
  */
 
 #ifdef CONFIG_SDIO_DMA
-#  define SDMMC1_SDXFR_CLKDIV     (1 << SDIO_CLKCR_CLKDIV_SHIFT)
+#  define STM32_SDMMC_SDXFR_CLKDIV     (1 << STM32_SDMMC_CLKCR_CLKDIV_SHIFT)
 #else
-#  define SDMMC1_SDXFR_CLKDIV     (2 << SDIO_CLKCR_CLKDIV_SHIFT)
+#  define STM32_SDMMC_SDXFR_CLKDIV     (2 << STM32_SDMMC_CLKCR_CLKDIV_SHIFT)
 #endif
 
 /************************************************************************************
diff --git a/configs/stm32f746-ws/nsh/defconfig b/configs/stm32f746-ws/nsh/defconfig
index c9598479e3d..6fafd45558f 100644
--- a/configs/stm32f746-ws/nsh/defconfig
+++ b/configs/stm32f746-ws/nsh/defconfig
@@ -312,7 +312,7 @@ CONFIG_STM32F7_OTGFS=y
 # CONFIG_STM32F7_RNG is not set
 # CONFIG_STM32F7_SAI1 is not set
 # CONFIG_STM32F7_SAI2 is not set
-##CONFIG_STM32F7_SDMMC1=y
+CONFIG_STM32F7_SDMMC1=y
 # CONFIG_STM32F7_SPDIFRX is not set
 CONFIG_STM32F7_SPI1=y
 # CONFIG_STM32F7_SPI2 is not set