KTDSTATE
KTR_STATE3(KTR_SCHED, "thread", sched_tdname(td), KTDSTATE(td),
db_printf("inhibited: %s\n", KTDSTATE(td));