2 * linux/arch/arm/plat-versatile/include/plat/platsmp.h
4 * Copyright (C) 2011 ARM Ltd.
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.
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
);