/* Saves the tag registers to a user-defined location. */
void AESTagRead(uint32_t ui32Base, uint32_t *pui32TagData)
/* Saves the tag registers to a user-defined location. */
void AESTagRead(uint32_t ui32Base, uint32_t *pui32TagData)
{
    ASSERT(ui32Base == AES_BASE);
    while((AES_CTRL_SVCTXTRDY & (HWREG(ui32Base + AES_O_CTRL))) == 0)
    {
    }
    pui32TagData[0] = HWREG((ui32Base + AES_O_TAG_OUT_0));
    pui32TagData[1] = HWREG((ui32Base + AES_O_TAG_OUT_1));
    pui32TagData[2] = HWREG((ui32Base + AES_O_TAG_OUT_2));
    pui32TagData[3] = HWREG((ui32Base + AES_O_TAG_OUT_3));
}