pub const CEC_MAX_HDMI_PORTNUMBER: u32 = 15;