HDMI EN GPIO Voltage

HI.NV:
When using the HDMI of the Jetson orin, we use the GPIO 20 to control the HDMI enable. What is the output voltage of the GPIO 20 PIN A58?

Hi , In Jetson_AGX_Orin_Series_Pinmux_Config_Template V1.4,the output voltage of the GPIO 20 is 1.8V.
IN Jetson_AGX_Orin_Series_Design_Guide_DG-10653-001_v1.1,the output voltage of the GPIO 20 is 1.8V.

But in Jetson_AGX_Orin_Pin_Descriptions the file of Jetson_AGX_Orin_Series_Design_Guide_DG-10653-001_v1.1,the output voltage of the GPIO 20 is 3.3V.

Which file can we rely on?