| 123456789101112131415161718192021222324 |
- /*
- * 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
|
