/* Mark interrupt as serviced. 
After an interrupt is services, its flag must be cleared. If the flag is not cleared, then execution will jump back to the start of the ISR after the ISR returns. */
void uart_clear_interrupt_flag(uint32_t uart, enum uart_interrupt_flag ints)
/* Mark interrupt as serviced. 
After an interrupt is services, its flag must be cleared. If the flag is not cleared, then execution will jump back to the start of the ISR after the ISR returns. */
void uart_clear_interrupt_flag(uint32_t uart, enum uart_interrupt_flag ints)
{
	UART_ICR(uart) |= ints;
}
/**@}