i386_ipi_microset   77 arch/i386/i386/ipifuncs.c 	i386_ipi_microset,
i386_ipi_microset  144 arch/i386/include/intr.h void i386_ipi_microset(struct cpu_info *);