LAPIC_IPI_INVLRANGE  192 arch/i386/i386/lapic.c 	idt_vec_set(LAPIC_IPI_INVLRANGE, Xintripi_invlrange);
LAPIC_IPI_INVLRANGE 3003 arch/i386/i386/pmap.c 			if (i386_fast_ipi(ci, LAPIC_IPI_INVLRANGE) != 0)