/* Reads the result of a CRC operation in the EC module. */
uint32_t CRCResultRead(uint32_t ui32Base)
/* Reads the result of a CRC operation in the EC module. */
uint32_t CRCResultRead(uint32_t ui32Base)
{
    ASSERT(ui32Base == DTHE_BASE);
    return(HWREG(DTHE_BASE + DTHE_O_CRC_RSLT_PP));
}