/* Write the seed value for CRC operations in the EC module. */
void CRCSeedSet(uint32_t ui32Base, uint32_t ui32Seed)
/* Write the seed value for CRC operations in the EC module. */
void CRCSeedSet(uint32_t ui32Base, uint32_t ui32Seed)
{
    ASSERT(ui32Base == CCM0_BASE);
    HWREG(ui32Base + CCM_O_CRCSEED) = ui32Seed;
}