| /* |
| * This file is based ARM realview platform. |
| * Copyright (C) ARM Limited. |
| * |
| * This file is licensed under the terms of the GNU General Public |
| * License version 2. This program is licensed "as is" without any |
| * warranty of any kind, whether express or implied. |
| */ |
| #ifndef ASMARM_ARCH_SMP_H |
| #define ASMARM_ARCH_SMP_H |
| |
| #include <asm/hardware/gic.h> |
| |
| /* This is required to wakeup the secondary core */ |
| extern void u8500_secondary_startup(void); |
| |
| /* |
| * We use IRQ1 as the IPI |
| */ |
| static inline void smp_cross_call(const struct cpumask *mask, int ipi) |
| { |
| gic_raise_softirq(mask, ipi); |
| } |
| #endif |
