void PIOS_ADC_DMC_irq_handler(void) { /* Call into the generic code to handle the IRQ for this specific device */ PIOS_ADC_DMA_Handler(); }
void PIOS_ADC_handler() { PIOS_ADC_DMA_Handler(); }