APIC_INT_IRQ
return APIC_INT_IRQ(*ihp) == 0;
APIC_INT_LINE(ih), APIC_INT_IRQ(ih));
int irq = APIC_INT_IRQ(ih);
uint32_t irq = APIC_INT_IRQ(iv->ih);