I386_IPI_DDB       61 arch/i386/i386/db_mp.c 				i386_send_ipi(cpu_info[i], I386_IPI_DDB);
I386_IPI_DDB      131 arch/i386/i386/db_mp.c 		i386_send_ipi(cpu_info[cpu], I386_IPI_DDB);