idt_vec_set
idt_vec_set(LAPIC_IPI_VECTOR, Xintr_lapic_ipi);
idt_vec_set(LAPIC_IPI_INVLTLB, Xipi_invltlb);
idt_vec_set(LAPIC_IPI_INVLPG, Xipi_invlpg);
idt_vec_set(LAPIC_IPI_INVLRANGE, Xipi_invlrange);
idt_vec_set(LAPIC_IPI_INVLTLB, Xipi_invltlb_pcid);
idt_vec_set(LAPIC_IPI_INVLPG, Xipi_invlpg_pcid);
idt_vec_set(LAPIC_IPI_INVLRANGE, Xipi_invlrange_pcid);
idt_vec_set(LAPIC_IPI_INVEPT, Xipi_invept);
idt_vec_set(LAPIC_SPURIOUS_VECTOR, Xintrspurious);
idt_vec_set(LAPIC_TIMER_VECTOR, Xintr_lapic_ltimer);
idt_vec_set(LAPIC_XEN_VECTOR, Xintr_xen_upcall);
idt_vec_set(LAPIC_HYPERV_VECTOR, Xintr_hyperv_upcall);
void idt_vec_set(int, void (*)(void));
idt_vec_set(nvector, apichandler[nvector & 0xf]);
idt_vec_set(LAPIC_SOFTCLOCK_VECTOR, Xintrsoftclock);
idt_vec_set(LAPIC_SOFTNET_VECTOR, Xintrsoftnet);
idt_vec_set(LAPIC_SOFTTTY_VECTOR, Xintrsofttty);
idt_vec_set(LAPIC_IPI_VECTOR, Xintripi);
idt_vec_set(LAPIC_IPI_INVLTLB, Xintripi_invltlb);
idt_vec_set(LAPIC_IPI_INVLPG, Xintripi_invlpg);
idt_vec_set(LAPIC_IPI_INVLRANGE, Xintripi_invlrange);
idt_vec_set(LAPIC_IPI_RELOADCR3, Xintripi_reloadcr3);
idt_vec_set(LAPIC_SPURIOUS_VECTOR, Xintrspurious);
idt_vec_set(LAPIC_TIMER_VECTOR, Xintrltimer);
void idt_vec_set(int, void (*)(void));
idt_vec_set(vec, apichandler[vec & 0xf]);