thank you Daniel,
would you please provide that customer needs to know the voltage if the pin is loaded with 0mA? no this data in the S32K1xx datasheet.
The output is driven to VDD or VSS.
If the pin is not loaded, the sink/source current is 0mA, the output is equal to VDD or VSS.
What is the question here?
The specification says that the voltage drops to VDD - 0.8V when the pin is loaded with 5 mA.