kvm_lapic_find_highest_irr
EXPORT_SYMBOL_FOR_KVM_INTERNAL(kvm_lapic_find_highest_irr);
int kvm_lapic_find_highest_irr(struct kvm_vcpu *vcpu);
max_irr = kvm_lapic_find_highest_irr(vcpu);
max_irr = kvm_lapic_find_highest_irr(vcpu);