| Marc Zyngier | 3695adc | 2011-09-08 13:15:22 +0100 | [diff] [blame] | 1 | /* |
| 2 | * linux/arch/arm/plat-versatile/include/plat/platsmp.h |
| 3 | * |
| 4 | * Copyright (C) 2011 ARM Ltd. |
| 5 | * All Rights Reserved |
| 6 | * |
| 7 | * This program is free software; you can redistribute it and/or modify |
| 8 | * it under the terms of the GNU General Public License version 2 as |
| 9 | * published by the Free Software Foundation. |
| 10 | */ |
| 11 | |
| 12 | extern void versatile_secondary_startup(void); |
| 13 | extern void versatile_secondary_init(unsigned int cpu); |
| 14 | extern int versatile_boot_secondary(unsigned int cpu, struct task_struct *idle); |