ipi_dev           402 arch/arc/kernel/smp.c static DEFINE_PER_CPU(int, ipi_dev);
ipi_dev           406 arch/arc/kernel/smp.c 	int *dev = per_cpu_ptr(&ipi_dev, cpu);