LAPIC_IPI_INVLTLB  190 arch/i386/i386/lapic.c 	idt_vec_set(LAPIC_IPI_INVLTLB, Xintripi_invltlb);
LAPIC_IPI_INVLTLB 3040 arch/i386/i386/pmap.c 			if (i386_fast_ipi(ci, LAPIC_IPI_INVLTLB) != 0)