/* Calculate a 32-bit CRC for a given data word (16 bits)  */
uint32_t CRC_CalculateCRC16bits(uint16_t data)
/* Calculate a 32-bit CRC for a given data word (16 bits)  */
uint32_t CRC_CalculateCRC16bits(uint16_t data)
{
  *(uint16_t*)(CRC_BASE) = (uint16_t) data;
  return (CRC->DATA);
}