REG_HDMI_CTRL
hdmi_write(hdmi, REG_HDMI_CTRL, ctrl);
hdmi_write(hdmi, REG_HDMI_CTRL, ctrl);
hdmi_ctrl = hdmi_read(hdmi, REG_HDMI_CTRL);
hdmi_write(hdmi, REG_HDMI_CTRL, hdmi_ctrl | HDMI_CTRL_ENABLE);
hdmi_write(hdmi, REG_HDMI_CTRL, hdmi_ctrl);
reg_val = hdmi_read(hdmi, REG_HDMI_CTRL);
hdmi_write(hdmi, REG_HDMI_CTRL, reg_val);
reg_val = hdmi_read(hdmi, REG_HDMI_CTRL);
hdmi_write(hdmi, REG_HDMI_CTRL, reg_val);
reg_val = hdmi_read(hdmi, REG_HDMI_CTRL);
hdmi_write(hdmi, REG_HDMI_CTRL, reg_val);
reg_val = hdmi_read(hdmi, REG_HDMI_CTRL);
hdmi_write(hdmi, REG_HDMI_CTRL, reg_val);
reg_val = hdmi_read(hdmi, REG_HDMI_CTRL);
hdmi_write(hdmi, REG_HDMI_CTRL, reg_val);
WARN_ON(!(hdmi_read(hdmi, REG_HDMI_CTRL) & HDMI_CTRL_ENABLE));
io_write(sd, REG_HDMI_CTRL, reg);