How to config DPAUX pinmux when HDMI changed to DP

We changed DEVKit display port from HDMI to DP. The DP2_AUX_CH pin default setting is I2C7_CLK for HDMI. We should change this pin to DP_AUX_CH2_P for DP.

But after I changed the pin to DP_AUX_CH2_P in pinmux, the generated file tegra19x-jetson_agx_xavier-pinmux.dtsi did not change.
How to change the pin from I2C7 to DP_AUX_CH2_P ?

Will other pin changed? Or only this pin has problem?

I tried some other GPIO, GPIO can be changed.

Can this pin DP_AUX_CH2_P be changed from I2C7 to DP_AUX_CH2_P ?

There is no update from you for a period, assuming this is not an issue any more.
Hence we are closing this topic. If need further support, please open a new one.

Sorry for the late response, is this still an issue to support? Thanks