> I'm not sure whether the operation of get the vcpu's priority-level is > expensive on all architectures, so I record it in kvm_sched_out() for > minimal the extra cycles cost in kvm_vcpu_on_spin(). >
as you only care for x86 right now either way, you can directly optimize here for the good (here: x86) case (keeping changes and therefore possible bugs minimal). -- Thanks, David
