/* Writes the Initial Vector (IV) register, needed in some of the AES Modes. */
void AESIVSet(uint32_t ui32Base, uint32_t *pui32IVdata)
/* Writes the Initial Vector (IV) register, needed in some of the AES Modes. */
void AESIVSet(uint32_t ui32Base, uint32_t *pui32IVdata)
{
    ASSERT(ui32Base == AES_BASE);
    HWREG(ui32Base + AES_O_IV_IN_0) = pui32IVdata[0];
    HWREG(ui32Base + AES_O_IV_IN_1) = pui32IVdata[1];
    HWREG(ui32Base + AES_O_IV_IN_2) = pui32IVdata[2];
    HWREG(ui32Base + AES_O_IV_IN_3) = pui32IVdata[3];
}