hdmi_core_ddc_edid
r = hdmi_core_ddc_edid(core, edid, 0);
r = hdmi_core_ddc_edid(core, edid + 0x80, 1);
r = hdmi_core_ddc_edid(core, edid, 0);
r = hdmi_core_ddc_edid(core, edid + i * EDID_LENGTH, i);