IDT_EVTCHN
setidt(IDT_EVTCHN, pti ? &IDTVEC(xen_intr_upcall_pti) :
case IDT_EVTCHN:
setidt(IDT_EVTCHN, &IDTVEC(xen_intr_upcall),
lapics[apic_id].la_ioint_irqs[IDT_EVTCHN - APIC_IO_INTS] = IRQ_EVTCHN;
vec.vector = IDT_EVTCHN;
xhp.value = HVM_CALLBACK_VECTOR(IDT_EVTCHN);