/* Saves the Initial Vector (IV) registers to a user-defined location. */
void AESIVRead(uint32_t ui32Base, uint32_t *pui32IVData)
/* Saves the Initial Vector (IV) registers to a user-defined location. */
void AESIVRead(uint32_t ui32Base, uint32_t *pui32IVData)
{
    ASSERT(ui32Base == AES_BASE);
    while ((AES_CTRL_SVCTXTRDY & (HWREG(ui32Base + AES_O_CTRL))) == 0)
    {
    }
    pui32IVData[0] = HWREG((ui32Base + AES_O_IV_IN_0));
    pui32IVData[1] = HWREG((ui32Base + AES_O_IV_IN_1));
    pui32IVData[2] = HWREG((ui32Base + AES_O_IV_IN_2));
    pui32IVData[3] = HWREG((ui32Base + AES_O_IV_IN_3));
}