LAPIC_IPI_INVLPG  191 arch/i386/i386/lapic.c 	idt_vec_set(LAPIC_IPI_INVLPG, Xintripi_invlpg);
LAPIC_IPI_INVLPG 2964 arch/i386/i386/pmap.c 			if (i386_fast_ipi(ci, LAPIC_IPI_INVLPG) != 0)