/* Retrieve ordinal number of the given adc hardware instance.  */
static uint8_t _adc_get_hardware_index(const void *const hw)
/* Retrieve ordinal number of the given adc hardware instance.  */
static uint8_t _adc_get_hardware_index(const void *const hw)
{
	return ((uint32_t)hw - (uint32_t)ADC0) >> 10;
}