Searched refs:vcpu_itc_d (Results 1 – 1 of 1) sorted by relevance
1176 void vcpu_itc_d(struct kvm_vcpu *vcpu, u64 pte, u64 itir, u64 ifa) in vcpu_itc_d() function1361 vcpu_itc_d(vcpu, pte, itir, ifa); in kvm_itc_d()