/* Return the pointer to register settings of specific ADC.  */
static uint8_t _adc_get_regs(const uint32_t hw_addr)
/* Return the pointer to register settings of specific ADC.  */
static uint8_t _adc_get_regs(const uint32_t hw_addr)
{
	uint8_t n = _adc_get_hardware_index((const void *)hw_addr);
	uint8_t i;
	for (i = 0; i < sizeof(_adcs) / sizeof(struct adc_configuration); i++) {
		if (_adcs[i].number == n) {
			return i;
		}
	}
	ASSERT(false);
	return 0;
}