/* Returns the most recent received data by the CEC peripheral.  */
uint8_t CEC_ReceiveDataByte(void)
/* Returns the most recent received data by the CEC peripheral.  */
uint8_t CEC_ReceiveDataByte(void)
{
  return (uint8_t)(CEC->RXD);
}