For pinmux we usually do it from the device tree file, check example in arch/arm/boot/dts/sc58x-ezkit-hpc.dts and arch/arm/boot/dts/sc58x.dtsi
