i386_setperf_ipi   93 arch/i386/i386/ipifuncs.c 	i386_setperf_ipi,
i386_setperf_ipi  149 arch/i386/include/intr.h void i386_setperf_ipi(struct cpu_info *);