kvm_lapic_find_highest_irr  545 arch/x86/kvm/lapic.c EXPORT_SYMBOL_GPL(kvm_lapic_find_highest_irr);
kvm_lapic_find_highest_irr  102 arch/x86/kvm/lapic.h int kvm_lapic_find_highest_irr(struct kvm_vcpu *vcpu);
kvm_lapic_find_highest_irr 7317 arch/x86/kvm/svm.c 	.sync_pir_to_irr = kvm_lapic_find_highest_irr,
kvm_lapic_find_highest_irr 6165 arch/x86/kvm/vmx/vmx.c 		max_irr = kvm_lapic_find_highest_irr(vcpu);
kvm_lapic_find_highest_irr 7560 arch/x86/kvm/x86.c 		max_irr = kvm_lapic_find_highest_irr(vcpu);