apic_has_interrupt_for_ppr
return apic_has_interrupt_for_ppr(apic, ppr);
apic_has_interrupt_for_ppr(apic, ppr) != -1)