Searched refs:vcpu_get_itc (Results 1 – 3 of 3) sorted by relevance
810 u64 vcpu_get_itc(struct kvm_vcpu *vcpu) in vcpu_get_itc() function862 if (val > vcpu_get_itc(vcpu)) { in vcpu_set_itm()1402 r1 = vcpu_get_itc(vcpu); in kvm_mov_from_ar_reg()
737 extern u64 vcpu_get_itc(struct kvm_vcpu *vcpu);
747 if (vcpu_get_itc(v) > VCPU(v, itm)) { in leave_hypervisor_tail()