VCORE_SLEEPING
if (vc->runner == vcpu && vc->vcore_state >= VCORE_SLEEPING)
if (vc->runner == vcpu && vc->vcore_state >= VCORE_SLEEPING)
vc->vcore_state = VCORE_SLEEPING;
} else if (vc->vcore_state == VCORE_SLEEPING) {