LAPIC_IPI_AST     189 arch/i386/i386/lapic.c 	idt_vec_set(LAPIC_IPI_AST, Xintripi_ast);
LAPIC_IPI_AST    2143 arch/i386/i386/machdep.c 		i386_fast_ipi(p->p_cpu, LAPIC_IPI_AST);