kvm_lapic_find_highest_irr   44 arch/x86/kvm/lapic.h int kvm_lapic_find_highest_irr(struct kvm_vcpu *vcpu);
kvm_lapic_find_highest_irr 1566 arch/x86/kvm/svm.c 	max_irr = kvm_lapic_find_highest_irr(vcpu);
kvm_lapic_find_highest_irr 2778 arch/x86/kvm/vmx.c 	    ((max_irr = kvm_lapic_find_highest_irr(vcpu)) == -1)) {