HDMI_HICR
temp = HDMI_READ(HDMI_HICR);
HDMI_WRITE(HDMI_HICR, temp);
HDMI_READ(HDMI_HICR);
HDMI_WRITE(HDMI_HICR, 0x0);