Hello Kate,
The power_manager SDK driver disables FIRC, SPLL, SOSC and switches the system clock to SIRC before the MCU goes to VLPS.
You can use the power_mode_switch SDK example and call this function:
/* Set power mode to VLPS */
retV = POWER_SYS_SetMode(VLPS, POWER_MANAGER_POLICY_AGREEMENT);
In power_manager_S32K1xx.c,
function POWER_SYS_SwitchToSleepingPowerMode()

Regards,
Daniel