STALLED
ns.flags = STALLED;
else if (ns.flags == STALLED)
ns.flags == STALLED);
if (os.flags == STALLED)
(os.flags == STALLED && r->can_drain(r))) {
if (os.flags == STALLED && r->can_drain(r)) {
ns.flags = STALLED;
if (prev != STALLED)
MPASS(ns.flags != STALLED);
if (prev == STALLED) {
ns.flags = STALLED;
if (prev != STALLED)
MPASS(ns.flags != STALLED);
if (prev == STALLED) {
if (os.flags == STALLED)
if (os.flags == STALLED)
if ((os.flags != STALLED && os.flags != ABDICATED) || // Only continue in STALLED and ABDICATED
if (s.pidx_head == s.pidx_tail && s.flags == STALLED)