/* Retrieve IRQ number for the given hardware instance.  */
static IRQn_Type _afec_get_irq_num(const struct _adc_async_device *const device)
/* Retrieve IRQ number for the given hardware instance.  */
static IRQn_Type _afec_get_irq_num(const struct _adc_async_device *const device)
{
	if (device->hw == AFEC0) {
		return AFEC0_IRQn;
	} else if (device->hw == AFEC1) {
		return AFEC1_IRQn;
	}
	return (IRQn_Type)-1;
}