/* 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)
{
	(void)device;
	return ADC_OTHER_IRQn;
}