/* Saves the tag registers to a user-defined location. */
void AESTagRead(uint32_t ui32Base, uint8_t *pui8TagData)
/* Saves the tag registers to a user-defined location. */
void AESTagRead(uint32_t ui32Base, uint8_t *pui8TagData)
{
    ASSERT(ui32Base == AES_BASE);
    *((uint32_t *)(pui8TagData+0)) = HWREG((ui32Base + AES_O_TAG_OUT_0));
    *((uint32_t *)(pui8TagData+4)) = HWREG((ui32Base + AES_O_TAG_OUT_1));
    *((uint32_t *)(pui8TagData+8)) = HWREG((ui32Base + AES_O_TAG_OUT_2));
    *((uint32_t *)(pui8TagData+12)) = HWREG((ui32Base + AES_O_TAG_OUT_3));
}