LAPIC_IPI_INVLTLB
idt_allocmap[LAPIC_IPI_INVLTLB] = 1;
idt_vec_set(LAPIC_IPI_INVLTLB, Xipi_invltlb);
idt_vec_set(LAPIC_IPI_INVLTLB, Xipi_invltlb_pcid);
if (x86_fast_ipi(ci, LAPIC_IPI_INVLTLB) != 0)
idt_vec_set(LAPIC_IPI_INVLTLB, Xintripi_invltlb);
if (i386_fast_ipi(ci, LAPIC_IPI_INVLTLB) != 0)