/* De-initialises an ADC interface, Turns off an ADC hardware interface */
int32_t hal_adc_finalize(adc_dev_t *adc)
/* De-initialises an ADC interface, Turns off an ADC hardware interface */
int32_t hal_adc_finalize(adc_dev_t *adc)
{
	hal_gpadc_close(__hal_adc_port2chan(adc->port));
	return 0;
}