diff --git a/arch/arm/src/stm32/stm32_pmstandby.c b/arch/arm/src/stm32/stm32_pmstandby.c
index 9aacfaa9a6..467edaec2a 100644
--- a/arch/arm/src/stm32/stm32_pmstandby.c
+++ b/arch/arm/src/stm32/stm32_pmstandby.c
@@ -86,7 +86,7 @@ int stm32_pmstandby(void)
   /* Clear the Wake-Up Flag by setting the CWUF bit in the power control
    * register.
    */
-  
+
   regval  = getreg32(STM32_PWR_CR);
   regval |= PWR_CR_CWUF;
   putreg32(regval, STM32_PWR_CR);
@@ -104,6 +104,6 @@ int stm32_pmstandby(void)
   
   /* Sleep until the wakeup reset occurs */
 
-  asm("WFI");
+  asm("wfi");
   return OK;  /* Won't get here */
 }
diff --git a/arch/arm/src/stm32/stm32_pmstop.c b/arch/arm/src/stm32/stm32_pmstop.c
index 9bd4af73a9..14ce63b555 100644
--- a/arch/arm/src/stm32/stm32_pmstop.c
+++ b/arch/arm/src/stm32/stm32_pmstop.c
@@ -112,11 +112,11 @@ int stm32_pmstop(bool lpds)
 #ifdef CONFIG_PM_WFE
   /* Mode: SLEEP + Entry with WFE */
 
-  __asm("wfe");
+  asm("wfe");
 #else
   /* Mode: SLEEP + Entry with WFI */
 
-  __asm("wfi");
+  asm("wfi"); 
 #endif
   return OK;
 }