/* Writes key 3 configuration registers, which are used for encryption or decryption. */
void AESKey3Set(uint32_t ui32Base, uint32_t *pui32Key)
/* Writes key 3 configuration registers, which are used for encryption or decryption. */
void AESKey3Set(uint32_t ui32Base, uint32_t *pui32Key)
{
    ASSERT(ui32Base == AES_BASE);
    HWREG(ui32Base + AES_O_KEY2_4) = pui32Key[0];
    HWREG(ui32Base + AES_O_KEY2_5) = pui32Key[1];
    HWREG(ui32Base + AES_O_KEY2_6) = pui32Key[2];
    HWREG(ui32Base + AES_O_KEY2_7) = pui32Key[3];
}