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