TDB_COREDUMPREQ
case TDB_COREDUMPREQ:
if ((td->td_dbgflags & (TDB_COREDUMPREQ |
MPASS((td->td_dbgflags & (TDB_COREDUMPREQ |
(TDB_COREDUMPREQ | TDB_SCREMOTEREQ));
(TDB_COREDUMPREQ | TDB_SCREMOTEREQ));
KASSERT((td2->td_dbgflags & (TDB_COREDUMPREQ |
td2->td_dbgflags |= TDB_COREDUMPREQ;
while ((td2->td_dbgflags & TDB_COREDUMPREQ) != 0)
KASSERT((td2->td_dbgflags & (TDB_COREDUMPREQ |