i386_ipi_halt      64 arch/i386/i386/ipifuncs.c void i386_ipi_halt(struct cpu_info *);
i386_ipi_halt      76 arch/i386/i386/ipifuncs.c 	i386_ipi_halt,