void __attribute__((used)) DMA2_Stream7_IRQHandler(void) { uartDmaIsr(); }
void __attribute__((used)) DMA1_Channel4_IRQHandler(void) { #if defined(UART_OUTPUT_TRACE_DATA) || defined(ADC_OUTPUT_RAW_DATA) uartDmaIsr(); #endif }