/* Enable the UART Transmit Interrupt. 
Note that the NVIC must be enabled and properly configured for the interrupt to be routed to the CPU. */
void uart_enable_tx_interrupt(uint32_t uart)
/* Enable the UART Transmit Interrupt. 
Note that the NVIC must be enabled and properly configured for the interrupt to be routed to the CPU. */
void uart_enable_tx_interrupt(uint32_t uart)
{
	uart_enable_interrupts(uart, UART_INT_TX);
}