arch/arm/mach-virt/virt.c

   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
  26 #include <asm/arch_timer.h>
  27 #include <asm/mach/arch.h>
  28 #include <asm/mach/time.h>
  29
  30 static void __init virt_init(void)
  31 {
  32         of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
  33 }
  34
  35 static void __init virt_timer_init(void)
  36 {
  37         WARN_ON(arch_timer_of_register() != 0);
  38         WARN_ON(arch_timer_sched_clock_init() != 0);
  39 }
  40
  41 static const char *virt_dt_match[] = {
  42         "linux,dummy-virt",
  43         "xen,xenvm",
  44         NULL
  45 };
  46
  47 extern struct smp_operations virt_smp_ops;
  48
  49 DT_MACHINE_START(VIRT, "Dummy Virtual Machine")
  50         .init_irq       = irqchip_init,
  51         .init_time      = virt_timer_init,
  52         .init_machine   = virt_init,
  53         .smp            = smp_ops(virt_smp_ops),
  54         .dt_compat      = virt_dt_match,
  55 MACHINE_END