/* If the application is using a static interrupt vector table stored in flash, then it is not necessary to register the interrupt handler this way. Instead, IntEnable() should be used to enable DES interrupts on the interrupt controller. */
void DESIntRegister(uint32_t ui32Base, void(*pfnHandler)(void))
/* If the application is using a static interrupt vector table stored in flash, then it is not necessary to register the interrupt handler this way. Instead, IntEnable() should be used to enable DES interrupts on the interrupt controller. */
void DESIntRegister(uint32_t ui32Base, void(*pfnHandler)(void))
{
    ASSERT(ui32Base == DES_BASE);
    IntRegister(INT_DES0, pfnHandler);
    IntEnable(INT_DES0);
}