51 		nvkm_wr32(device, 0x6f0008 + hdmi, avi_infoframe.header);  in gv100_hdmi_ctrl()
52 		nvkm_wr32(device, 0x6f000c + hdmi, avi_infoframe.subpack0_low);  in gv100_hdmi_ctrl()
53 		nvkm_wr32(device, 0x6f0010 + hdmi, avi_infoframe.subpack0_high);  in gv100_hdmi_ctrl()
54 		nvkm_wr32(device, 0x6f0014 + hdmi, avi_infoframe.subpack1_low);  in gv100_hdmi_ctrl()
55 		nvkm_wr32(device, 0x6f0018 + hdmi, avi_infoframe.subpack1_high);  in gv100_hdmi_ctrl()
62 		nvkm_wr32(device, 0x6f0108 + hdmi, vendor_infoframe.header);  in gv100_hdmi_ctrl()
63 		nvkm_wr32(device, 0x6f010c + hdmi, vendor_infoframe.subpack0_low);  in gv100_hdmi_ctrl()
64 		nvkm_wr32(device, 0x6f0110 + hdmi, vendor_infoframe.subpack0_high);  in gv100_hdmi_ctrl()
65 		nvkm_wr32(device, 0x6f0114 + hdmi, 0x00000000);  in gv100_hdmi_ctrl()
66 		nvkm_wr32(device, 0x6f0118 + hdmi, 0x00000000);  in gv100_hdmi_ctrl()
67 		nvkm_wr32(device, 0x6f011c + hdmi, 0x00000000);  in gv100_hdmi_ctrl()
68 		nvkm_wr32(device, 0x6f0120 + hdmi, 0x00000000);  in gv100_hdmi_ctrl()
69 		nvkm_wr32(device, 0x6f0124 + hdmi, 0x00000000);  in gv100_hdmi_ctrl()
76 	nvkm_wr32(device, 0x6f00cc + hdmi, 0x00000010);  in gv100_hdmi_ctrl()
80 	nvkm_wr32(device, 0x6f0080 + hdmi, 0x82000000);  in gv100_hdmi_ctrl()