Searched refs:highest_irr (Results 1 – 1 of 1) sorted by relevance
766 int highest_irr; in apic_has_interrupt_for_ppr() local768 highest_irr = static_call(kvm_x86_sync_pir_to_irr)(apic->vcpu); in apic_has_interrupt_for_ppr()770 highest_irr = apic_find_highest_irr(apic); in apic_has_interrupt_for_ppr()771 if (highest_irr == -1 || (highest_irr & 0xF0) <= ppr) in apic_has_interrupt_for_ppr()773 return highest_irr; in apic_has_interrupt_for_ppr()
