/* Registers an interrupt handler for the EPI module. */
void EPIIntRegister(uint32_t ui32Base, void(*pfnHandler)(void))
/* Registers an interrupt handler for the EPI module. */
void EPIIntRegister(uint32_t ui32Base, void(*pfnHandler)(void))
{
    uint32_t ui32Int;
    ASSERT(ui32Base == EPI0_BASE);
    ASSERT(pfnHandler);
    ui32Int = _EPIIntNumberGet(ui32Base);
    ASSERT(ui32Int != 0);
    IntRegister(ui32Int, pfnHandler);
    IntEnable(ui32Int);
}