>In a related question, what is the meaning of a pinmux value of 0x40000000?
>In my i.MX 6ULL Applications Processor Reference Manual, it appears that bits 17-31 are reserved.
0x40000000 is linux dts convention, not Reference Manual. It is bit 4 of
IOMUXC_SW_MUX_CTL_PAD_* registers described in Chapter 30 IOMUX Controller (IOMUXC)
>what text is selecting a mux mode?.
Mentioned text "Force the selected mux mode input path"
refers to sect.30.3.2 SW Loopback through SION bit
i.MX 6ULL Applications Processor Reference Manual
Best regards
igor