301             hdmi_event_t event = { };  in event_thread()  local
308             if (ev.event == CEC_EVENT_STATE_CHANGE) {  in event_thread()
309                 event.type = HDMI_EVENT_HOT_PLUG;  in event_thread()
310                 event.dev = &ctx->device;  in event_thread()
311                 event.hotplug.port_id = 1;  in event_thread()
313                     event.hotplug.connected = false;  in event_thread()
315                     event.hotplug.connected = true;  in event_thread()
318                     ctx->p_event_cb(&event, ctx->cb_arg);  in event_thread()
327             hdmi_event_t event = { };  in event_thread()  local
341                 event.type = HDMI_EVENT_CEC_MESSAGE;  in event_thread()
342                 event.dev = &ctx->device;  in event_thread()
343                 event.cec.initiator = msg.msg[0] >> 4;  in event_thread()
344                 event.cec.destination = msg.msg[0] & 0xf;  in event_thread()
345                 event.cec.length = msg.len - 1;  in event_thread()
346                 memcpy(event.cec.body, &msg.msg[1], msg.len - 1);  in event_thread()
348                 ctx->p_event_cb(&event, ctx->cb_arg);  in event_thread()