2 * Dummy Virtual Machine - does what it says on the tin.
4 * Copyright (C) 2012 ARM Ltd
5 * Author: Will Deacon <will.deacon@arm.com>
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.
11 * This program is distributed in the hope that it will be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
16 * You should have received a copy of the GNU General Public License
17 * along with this program. If not, see <http://www.gnu.org/licenses/>.
20 #include <linux/init.h>
21 #include <linux/smp.h>
24 #include <linux/irqchip/arm-gic.h>
27 #include <asm/smp_plat.h>
29 extern void secondary_startup(void);
31 static void __init virt_smp_init_cpus(void)
35 static void __init virt_smp_prepare_cpus(unsigned int max_cpus)
39 static int __cpuinit virt_boot_secondary(unsigned int cpu,
40 struct task_struct *idle)
43 return psci_ops.cpu_on(cpu_logical_map(cpu),
44 __pa(secondary_startup));
48 static void __cpuinit virt_secondary_init(unsigned int cpu)
50 gic_secondary_init(0);
53 struct smp_operations __initdata virt_smp_ops = {
54 .smp_init_cpus = virt_smp_init_cpus,
55 .smp_prepare_cpus = virt_smp_prepare_cpus,
56 .smp_secondary_init = virt_secondary_init,
57 .smp_boot_secondary = virt_boot_secondary,