[Xen-devel] [PATCH v8 0/7] xen/arm: guest SMP support, part two

[Stefano Stabellini <stefano.stabellini@xxxxxxxxxxxxx>]

Hi all,
this patch series is just a rebased of the last set of unapplied patches
from the original series.

See each patch for a detailed changelog.


Stefano Stabellini (7):
      xen: move VCPUOP_register_vcpu_info to common code
      xen/arm: support VCPUOP_register_vcpu_info.
      xen/arm: send IPIs to inject irqs into guest vcpus running on different 
pcpus
      xen/arm: run the vtimer Xen timers on the pcpu the vcpu is running on
      xen/arm: initialize virt_timer and phys_timer with the same values on all 
vcpus
      xen/arm: clear pending irq queues on do_psci_cpu_on
      xen/arm: initialize vtimer offset to CNTPCT

 xen/arch/arm/domain.c           |   16 ++++++
 xen/arch/arm/gic.c              |   12 ++++
 xen/arch/arm/psci.c             |    3 +
 xen/arch/arm/traps.c            |    6 ++
 xen/arch/arm/vgic.c             |   20 ++++++-
 xen/arch/arm/vtimer.c           |   29 +++++++----
 xen/arch/arm/vtimer.h           |    1 +
 xen/arch/x86/domain.c           |  113 ---------------------------------------
 xen/common/domain.c             |  111 ++++++++++++++++++++++++++++++++++++++
 xen/include/asm-arm/domain.h    |   24 +++++---
 xen/include/asm-arm/gic.h       |    2 +
 xen/include/asm-arm/hypercall.h |    2 +
 xen/include/asm-x86/domain.h    |    3 -
 xen/include/xen/domain.h        |    3 +
 xen/include/xen/sched.h         |    3 +
 15 files changed, 211 insertions(+), 137 deletions(-)

Cheers,

Stefano

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel