/* Deinitializes the WFE registers to their default reset value.  */
void WFE_DeInit(void)
/* Deinitializes the WFE registers to their default reset value.  */
void WFE_DeInit(void)
{
  WFE->CR1 = WFE_CRX_RESET_VALUE;
  WFE->CR2 = WFE_CRX_RESET_VALUE;
  WFE->CR3 = WFE_CRX_RESET_VALUE;
  WFE->CR4 = WFE_CRX_RESET_VALUE;
}