/* Disable the ADC module. 
Disable an ADC module that has previously been configured.  */
void adc_disable(void)
/* Disable the ADC module. 
Disable an ADC module that has previously been configured.  */
void adc_disable(void)
{
	system_clock_peripheral_disable(PERIPHERAL_ADC);
	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);
}