/* Computes the 16-bit CRC of a given 16-bit data.  */
uint32_t CRC_CalcCRC16bits(uint16_t CRC_Data)
/* Computes the 16-bit CRC of a given 16-bit data.  */
uint32_t CRC_CalcCRC16bits(uint16_t CRC_Data)
{
  *(uint16_t*)(CRC_BASE) = (uint16_t) CRC_Data;
  return (CRC->DR);
}