Searched refs:guest_itc (Results 1 – 1 of 1) sorted by relevance
812 unsigned long guest_itc; in vcpu_get_itc() local813 guest_itc = VMX(vcpu, itc_offset) + kvm_get_itc(vcpu); in vcpu_get_itc()815 if (guest_itc >= VMX(vcpu, last_itc)) { in vcpu_get_itc()816 VMX(vcpu, last_itc) = guest_itc; in vcpu_get_itc()817 return guest_itc; in vcpu_get_itc()