In VLPS mode, the manual says that the EWM is disable, and the LPO_CLK of the EWM counter is Full functionality in this mode. In this case, only the EWM register is disabled or the counter is also disabled?
I don't see the relevant description in the datasheet, I can't give you a definite answer But you can look at the appendix table in S32K-DS, maybe you can find something different.