F_ACTIVE
t->flags |= F_ACTIVE;
KASSERT(!(t->flags & F_ACTIVE));
LK_SLASSERT(t->flags & F_ACTIVE, sc, NULL, NULL, return);
if (t->flags & F_ACTIVE)
if (t->flags & F_ACTIVE) {
t->flags &= ~F_ACTIVE;
KASSERT(t->flags & F_ACTIVE);
if (!(t->flags & F_ACTIVE)) {
if (!(t->flags & F_ACTIVE))