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

Reply via email to