/* Unregisters an interrupt handler for the AES module. */
void AESIntUnregister(uint32_t ui32Base)
/* Unregisters an interrupt handler for the AES module. */
void AESIntUnregister(uint32_t ui32Base)
{
    ASSERT(ui32Base == AES_BASE);
    IntDisable(INT_AES);
    IntUnregister(INT_AES);
}