/* Initializes ADC peripheral registers to their default reset values.  */
void ADC_DeInit(void)
/* Initializes ADC peripheral registers to their default reset values.  */
void ADC_DeInit(void)
{
  ana_reg3_tmp &= ~ANA_REG3_ADCPDN;  
  ANA->REG3 = ana_reg3_tmp;
  ANA->REG1 = ANA_REG1_RSTValue;
  ANA->INTEN &= ~(ANA_INTEN_INTEN0 | ANA_INTEN_INTEN1);
  ANA->INTSTS = (ANA_INTSTS_INTSTS0 | ANA_INTSTS_INTSTS1);
  while (ANA->ADCCTRL & ANA_ADCCTRL_MTRIG);
  ANA->ADCCTRL = ANA_ADCCTRL_RSTValue;
}