Merge tag '3.9-rc3-smp-6-tag' of git://git.kernel.org/pub/scm/linux/kernel/git/sstabe...

Pull ARM Xen SMP updates from Stefano Stabellini:
 "This contains a bunch of Xen/ARM specific changes, including some
  fixes, SMP support for Xen on ARM, and moving the xenvm machine from
  mach-vexpress to mach-virt.

  The non-Xen files that are touched are arch/arm/Kconfig, to select
  ARM_PSCI on XEN, and arch/arm/boot/dts/Makefile, to build the xenvm
  DTB if CONFIG_ARCH_VIRT.

  Highlights:

   - Move xenvm to mach-virt.

   - Implement SMP support in Xen on ARM.

   - Add support for machine reboot and power off via Xen hypercalls"

* tag '3.9-rc3-smp-6-tag' of git://git.kernel.org/pub/scm/linux/kernel/git/sstabellini/xen:
  xen/arm: remove duplicated include from enlighten.c
  xen/arm: use sched_op hypercalls for machine reboot and power off
  xenvm: add a simple PSCI node and a second cpu
  xen/arm: XEN selects ARM_PSCI
  xen: move the xenvm machine to mach-virt
  xen/arm: SMP support
  xen/arm: implement HYPERVISOR_vcpu_op
  xen/arm: actually pass a non-NULL percpu pointer to request_percpu_irq

diff --cc arch/arm/Kconfig
Simple merge

diff --cc arch/arm/boot/dts/Makefile
Simple merge

diff --cc arch/arm/mach-vexpress/v2m.c
Simple merge

diff --cc arch/arm/mach-virt/virt.c
index adc0945255aea2dee90e170d2426c7a25fc128e0,528c05eab3a7bcdc0a353f1675cefaeea9f16e73..061f283f579e891b59f8a0c17c0dcafa7bdc4288
--- 1/arch/arm/mach-virt/virt.c
--- 2/arch/arm/mach-virt/virt.c
+++ b/arch/arm/mach-virt/virt.c
@@@ -30,8 -32,15 +30,9 @@@ static void __init virt_init(void
        of_platform_populate(NULL, of_default_bus_match_table, NULL, NULL);
  }
  
 -static void __init virt_timer_init(void)
 -{
 -      WARN_ON(arch_timer_of_register() != 0);
 -      WARN_ON(arch_timer_sched_clock_init() != 0);
 -}
 -
  static const char *virt_dt_match[] = {
        "linux,dummy-virt",
+       "xen,xenvm",
        NULL
  };