/* Returns the current interrupt status of the DES module. */
uint32_t DESIntStatus(uint32_t ui32Base, bool bMasked)
/* Returns the current interrupt status of the DES module. */
uint32_t DESIntStatus(uint32_t ui32Base, bool bMasked)
{
    uint32_t ui32Status, ui32Enable;
    ASSERT(ui32Base == DES_BASE);
    ui32Status = HWREG(ui32Base + DES_O_IRQSTATUS);
    if(bMasked)
    {
        ui32Enable = HWREG(ui32Base + DES_O_IRQENABLE);
        return((ui32Status & ui32Enable) |
               (HWREG(ui32Base + DES_O_DMAMIS) << 16));
    }
    else
    {
        return(ui32Status | (HWREG(ui32Base + DES_O_DMARIS) << 16));
    }
}