void cec_user_control_pressed_irq(void)
{
    hdmitx_cec_dbg_print("CEC Key pressed \n");
    //pcec_message->content.msg.flag = 1;
    //cec_key_flag = 1;
    cec_send_event_irq();
}
void cec_user_control_pressed_irq(void)
{
    hdmi_print(INF, CEC  ": Key pressed \n");
    cec_send_event_irq();
}