On 10/04/2018 12:08, KarimAllah Ahmed wrote: > @@ -11908,6 +11908,9 @@ static int vmx_set_hv_timer(struct kvm_vcpu *vcpu, u64 guest_deadline_tsc) > u64 guest_tscl = kvm_read_l1_tsc(vcpu, tscl); > u64 delta_tsc = max(guest_deadline_tsc, guest_tscl) - guest_tscl; > > + if (kvm_pause_in_guest(vcpu->kvm)) > + return -EOPNOTSUPP; > + This is still doing a relatively expensive kvm_read_l1_tsc, so move it even further up. :) Paolo
