/* Retrieve IRQ number for the given hardware instance.  */
static uint8_t _adc_get_irq_num(const struct _adc_async_device *const device)
/* Retrieve IRQ number for the given hardware instance.  */
static uint8_t _adc_get_irq_num(const struct _adc_async_device *const device)
{
	return ADC0_IRQn + _adc_get_hardware_index(device->hw);
}