Symbol: apic_find_highest_irr
arch/x86/kvm/lapic.c
3398
max_irr = apic_find_highest_irr(apic);
arch/x86/kvm/lapic.c
821
return apic_find_highest_irr(vcpu->arch.apic);
arch/x86/kvm/lapic.c
946
highest_irr = apic_find_highest_irr(apic);