void serial_free(serial_t *obj) { UART_Deinit(uart_addrs[obj->index]); serial_irq_ids[obj->index] = 0; }
void USB_UartDeinit(USB_UartType *base) { UART_Deinit(base); }