Symbol: kvm_lapic_find_highest_irr