In the latest Linux Yocto BSPs by NXP, where the device tree structure is used, the IOMUXC parameters of the pins are defined in the .dts file, that describes the device tree configuration. Try to check it there. Also, refer to the Chapter 2 of the attached document.
Have a great day,
Artur
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------