hello jhnlmn,
AGX Orin series is using tegra234-mb1-bct-pinmux-p3701-0000-a04.dtsi for pinmux configuration.
tegra234-mb1-bct-pinmux-p3701-0000-a04.dtsi