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);