So if I set a GPIO direction as 'Input' in the pin configuration. And I want to change its direction to 'Output' at some time during the program is running.
Should I use the API below?

If so, should I set the 3rd param as 0 or 1 for 'Output'? Is there any manual about this?
I'm using S32K312 RTD v2.0.1
Thanks,
Jetty