UM11155 PINT chapter 13 section 13.3.1 reads:
However, when using MCUxpresso pins tool to configure a pin as PINT the tool generates the code to:
a) attach the pin to PINT (call INPUTMUX_AttachSignal())
and
b)configure the pin as GPIO. (call to IOCON_PinMuxSet())
Why does pins tool generate [b] above? doesn't this contradict the user manual I quoted ?