/* Enables the ADC module. 
Enables an ADC module that has previously been configured.  */
void adc_enable(void)
/* Enables the ADC module. 
Enables an ADC module that has previously been configured.  */
void adc_enable(void)
{
	system_clock_peripheral_enable(PERIPHERAL_ADC);
	AON_GP_REGS0->AON_PMU_CTRL.reg &= \
		~AON_GP_REGS_AON_PMU_CTRL_PMU_SENS_ADC_RST;
	AON_GP_REGS0->AON_PMU_CTRL.reg |= \
			AON_GP_REGS_AON_PMU_CTRL_PMU_SENS_ADC_EN | \
			AON_GP_REGS_AON_PMU_CTRL_PMU_BGR_EN;
	for (uint16_t i = 0; i < 0xFF; i++) {
	}
}