yield_count_of
return (!(yield_count_of(vcpu) & 1));
yield_count = yield_count_of(holder_cpu);
yield_count = yield_count_of(holder_cpu);
yield_count = yield_count_of(owner);
yield_count = yield_count_of(prev_cpu);