PL330_STATE_KILLING
UNTIL(thrd, PL330_STATE_FAULTING | PL330_STATE_KILLING);
if (_state(thrd) == PL330_STATE_KILLING)
case PL330_STATE_KILLING:
return PL330_STATE_KILLING;
UNTIL(thrd, PL330_STATE_FAULTING | PL330_STATE_KILLING);
|| _state(thrd) == PL330_STATE_KILLING