/* Reset the ADC module. 
Reset an ADC module that has previously been configured.  */
void adc_reset(void)
/* Reset the ADC module. 
Reset an ADC module that has previously been configured.  */
void adc_reset(void)
{
	system_peripheral_reset(PERIPHERAL_ADC);
}