Hi.
I have a question regarding the shutdown sequence of an application core.
Per section 47.1.7 of the S32K3XXX Ref Manual, the flowchart looks as follows:

Regarding the 3rd step:
- Request core to enter WFI by writing to corresponding core registers
It is not clear to me how to achieve this. Which register should I be using to indicate to the Application Core that it needs to issue a wfi instruction? If it is not a register, how is this information communicated to the corresponding application core when step 2 of the shutdown process states "Stop any ongoing core communication"?
Thanks in advance.