FAULT_RESTART
MPASS(res == FAULT_CONTINUE || res == FAULT_RESTART);
if (res == FAULT_RESTART)
case FAULT_RESTART:
return (FAULT_RESTART);
MPASS(status == FAULT_CONTINUE || status == FAULT_RESTART);
if (status == FAULT_RESTART)
return (FAULT_RESTART);
return (FAULT_RESTART);
return (FAULT_RESTART);
return (FAULT_RESTART);
case FAULT_RESTART:
case FAULT_RESTART:
return (FAULT_RESTART);
return (FAULT_RESTART);
return (FAULT_RESTART);