Hi @zxc1
The "SEV" and "WFE" are usually used on multi-core systems.
Although these instructions are included in the S32K14x, s this technology is a single core, so they should not be implemented in the application code.
There is an application note that could help you with the power modes.
Power Management for S32K1xx
B.R.
VaneB