APIC_INT_IRQ
return (APIC_INT_IRQ(*ihp) == 0);
APIC_INT_LINE(ih), APIC_INT_IRQ(ih));
int irq = APIC_INT_IRQ(ih);
htole32((31 - APIC_INT_IRQ(ih)) & APIC_ENT0_VEC));