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