Hi @xx1,
In the first method, you are changing the clock for RUN and HSRUN, and reconfiguring PLL back. The reference manual states: "Selecting a different clock source when in RUN requires that clock source to be enabled first and be valid before system clocks switch to that clock source."
In the second method, SPLL is configured at 80MHz in RUN mode and use this clock source in HSRUN, no changes to the clock are needed.
You can look into the following document for additional information: AN5425: Power Management for S32K1xx
Best regards,
Julián