/* Unregisters an interrupt handler for the DES module. */
void DESIntUnregister(uint32_t ui32Base)
/* Unregisters an interrupt handler for the DES module. */
void DESIntUnregister(uint32_t ui32Base)
{
    ASSERT(ui32Base == DES_BASE);
    IntDisable(INT_DES0);
    IntUnregister(INT_DES0);
}