1 /*
2 * Dummy Virtual Machine - does what it says on the tin.
3 *
4 * Copyright (C) 2012 ARM Ltd
5 * Authors: Will Deacon <will.deacon@arm.com>,
6 * Marc Zyngier <marc.zyngier@arm.com>
7 *
8 * This program is free software; you can redistribute it and/or modify
9 * it under the terms of the GNU General Public License version 2 as
10 * published by the Free Software Foundation.
11 *
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with this program. If not, see <http://www.gnu.org/licenses/>.
19 */
20
21 #include <linux/irqchip.h>
22 #include <linux/of_irq.h>
23 #include <linux/of_platform.h>
24 #include <linux/smp.h>
25 #include <linux/clk-provider.h>
26
27 #include <asm/mach/arch.h>
28
virt_init(void)29 static void __init virt_init(void)
30 {
31 of_clk_init(NULL);
32 of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
33 }
34
35 static const char *virt_dt_match[] = {
36 "linux,dummy-virt",
37 "ranchu",
38 "xen,xenvm",
39 NULL
40 };
41
42 extern struct smp_operations virt_smp_ops;
43
44 DT_MACHINE_START(VIRT, "Dummy Virtual Machine")
45 .init_irq = irqchip_init,
46 .init_machine = virt_init,
47 .smp = smp_ops(virt_smp_ops),
48 .dt_compat = virt_dt_match,
49 MACHINE_END
50