/* Registers an interrupt handler for the specified PWM generator block. */
void PWMGenIntRegister(uint32_t ui32Base, uint32_t ui32Gen, void(*pfnIntHandler)(void))
/* Registers an interrupt handler for the specified PWM generator block. */
void PWMGenIntRegister(uint32_t ui32Base, uint32_t ui32Gen, void(*pfnIntHandler)(void))
{
    uint32_t ui32Int;
    ASSERT((ui32Base == PWM0_BASE) || (ui32Base == PWM1_BASE));
    ASSERT(_PWMGenValid(ui32Gen));
    ui32Int = _PWMGenIntNumberGet(ui32Base, ui32Gen);
    ASSERT(ui32Int != 0);
    IntRegister(ui32Int, pfnIntHandler);
    IntEnable(ui32Int);
}