Try to set mux pins for MKW30Z with SDK1.3 in IAR with PORT_HAL_SetMuxMode but port_mux_t gives
kPortPinDisabled, kPortMuxAsGpio, kPortMuxAlt2, kPortMuxAlt3, kPortMuxAlt4, kPortMuxAlt5, kPortMuxAlt6, kPortMuxAlt7
while the Data Sheet refers in Table 42. KW40Z Pin Assignments:
DEFAULT, ALT0, ALT1, ALT2, ALT3, ALT4, ALT5, ALT6, ALT7.
What is the mapping for ALT0 and ALT1 ?