2 * Dummy Virtual Machine - does what it says on the tin.
4 * Copyright (C) 2012 ARM Ltd
5 * Authors: Will Deacon <will.deacon@arm.com>,
6 * Marc Zyngier <marc.zyngier@arm.com>
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.
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.
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/>.
21 #include <linux/irqchip.h>
22 #include <linux/of_irq.h>
23 #include <linux/of_platform.h>
24 #include <linux/smp.h>
26 #include <asm/mach/arch.h>
28 static void __init
virt_init(void)
30 of_platform_populate(NULL
, of_default_bus_match_table
, NULL
, NULL
);
33 static const char *virt_dt_match
[] = {
39 extern struct smp_operations virt_smp_ops
;
41 DT_MACHINE_START(VIRT
, "Dummy Virtual Machine")
42 .init_irq
= irqchip_init
,
43 .init_machine
= virt_init
,
44 .smp
= smp_ops(virt_smp_ops
),
45 .dt_compat
= virt_dt_match
,