HDMI_EDID_FIFO_ADDR
*buf++ = hdmi_readb(hdmi, HDMI_EDID_FIFO_ADDR);
hdmi_writeb(hdmi, HDMI_EDID_FIFO_ADDR, 0x00);