In the Jetson-TX2-Series-Pinmux-Template.xlsm Revision 1.00 there is the PEX_CLK pins A44, A45, A41, A42, B45, B46. These are all listed under the first sections before you get to the “Dedicated SFIOs” section on row 248. Similarly, under the EDP section there are pins B35, B34, A35, and A34.
Are any of these pins pinmux configurable?
Can they be configured as GPIOs?
If not, why are they not listed in the “Dedicated SFIOs” section?