/* Registers an interrupt handler for a UART interrupt. */
void UARTIntRegister(uint32_t ui32Base, void(*pfnHandler)(void))
/* Registers an interrupt handler for a UART interrupt. */
void UARTIntRegister(uint32_t ui32Base, void(*pfnHandler)(void))
{
    uint32_t ui32Int;
    ASSERT(_UARTBaseValid(ui32Base));
    ui32Int = _UARTIntNumberGet(ui32Base);
    ASSERT(ui32Int != 0);
    IntRegister(ui32Int, pfnHandler);
    IntEnable(ui32Int);
}