Incorrect definitions in CRC example in TivaWare 2.1.0.12573

I am attempting to use the CRC module in a EK-TM4C1294XL with TivaWare 2.1.0.12573. The TivaWareTM Peripheral Driver Library USER’S GUIDE SW-TM4C-DRL-UG-2.1.0.12573 contains the following example code in section 7 for the CRC module:

int
main(void)
{
  //
  // Enable the CRC module.
  //
  SysCtlPeripheralEnable(SYSCTL_PERIPH_EC0);
  
  //
  // Wait for the CRC module to be ready.
  //
  while(!SysCtlPeripheralReady(SYSCTL_PERIPH_EC0))
  {
  }

  //
  // Configure the CRC module.
  //
  CRCConfigSet(EC_BASE,
               CRC_CFG_INIT_SEED |
               CRC_CFG_TYPE_P4C11DB7 |
               CRC_CFG_SIZE_32BIT);

However, in the include files for TivaWare 2.1.0.12573 I can't find the definitions of SYSCTL_PERIPH_EC0 or EC_BASE.

To match the actual TivaWare code the example needs to be changed to use:

- SYSCTL_PERIPH_CCM0 instead of SYSCTL_PERIPH_EC0
- CCM0_BASE instead of EC_BASE