Add the rt linux 4.1.3-rt3 as base
[kvmfornfv.git] / kernel / arch / arm / plat-versatile / include / plat / platsmp.h
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);