/* Sets the operating mode for the UART transmit interrupt. */
void UARTTxIntModeSet(uint32_t ui32Base, uint32_t ui32Mode)
/* Sets the operating mode for the UART transmit interrupt. */
void UARTTxIntModeSet(uint32_t ui32Base, uint32_t ui32Mode)
{
    ASSERT(_UARTBaseValid(ui32Base));
    ASSERT((ui32Mode == UART_TXINT_MODE_EOT) ||
           (ui32Mode == UART_TXINT_MODE_FIFO));
    HWREG(ui32Base + UART_O_CTL) = ((HWREG(ui32Base + UART_O_CTL) &
                                     ~(UART_TXINT_MODE_EOT |
                                       UART_TXINT_MODE_FIFO)) | ui32Mode);
}