IRQ_EVTCHN
if (irq == IRQ_EVTCHN)
lapics[apic_id].la_ioint_irqs[IDT_EVTCHN - APIC_IO_INTS] = IRQ_EVTCHN;