i386_ipi_db        89 arch/i386/i386/ipifuncs.c 	i386_ipi_db,
i386_ipi_db       110 arch/i386/include/db_machdep.h void i386_ipi_db(struct cpu_info *);