- WFI waits for some *enabled* interrupt to fire *after* the instruction has started running
- WFE waits for EV=1 then sets EV=0. Note if it already holds that EV=1 then it exits immediately.
- SEV sets EV=1
- if SEVONPEND=1, when an *enabled* interrupt fires it sets EV=1