PL330_STATE_WFE
case PL330_STATE_WFE: /* For RESUME, nothing yet */
| PL330_STATE_WFE | PL330_STATE_FAULTING)
return PL330_STATE_WFE;