/* Resets the CRC peripheral registers to their default reset values.  */
void CRC_Reset(void)
/* Resets the CRC peripheral registers to their default reset values.  */
void CRC_Reset(void)
{
    CRC->DATA = 0xFFFFFFFF;
    CRC->INDATA = 0x00;
    CRC->INITVAL = 0xFFFFFFFF;
    CRC->CTRL = 0x00000000;
    CRC->POL = 0x04C11DB7;
}