DPF_EXECUTING
prflags[1] = dpr.dpr_flags & DPF_EXECUTING ? 'X' : '-';
VERIFY((dpr->dpr_flags & (DPF_DISPATCHED | DPF_EXECUTING)) ==
dpr->dpr_flags |= DPF_EXECUTING;
dpr->dpr_flags &= ~(DPF_DISPATCHED | DPF_EXECUTING);
VERIFY(!(dpr->dpr_flags & DPF_EXECUTING));
while (dpr->dpr_flags & (DPF_DISPATCHED | DPF_EXECUTING)) {