TS_VCPU
ASSERT(t->t_schedflag & TS_VCPU);
if (!(curthread->t_schedflag & TS_VCPU))
ASSERT(curthread->t_schedflag & TS_VCPU);
else if (t->t_schedflag & TS_VCPU)
curthread->t_schedflag |= TS_VCPU;
if ((t->t_schedflag & TS_VCPU)) {
if ((t->t_schedflag & TS_VCPU) && cp == t->t_cpu && score < 0)