From mboxrd@z Thu Jan 1 00:00:00 1970 From: Stefano Stabellini Subject: [PATCH v2 0/5] xen/arm: multiple guests support in the GIC and VGIC Date: Wed, 4 Jul 2012 11:45:03 +0100 Message-ID: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Sender: xen-devel-bounces@lists.xen.org Errors-To: xen-devel-bounces@lists.xen.org To: "xen-devel@lists.xensource.com" Cc: "Tim Deegan (3P)" , David Vrabel , Ian Campbell , Stefano Stabellini List-Id: xen-devel@lists.xenproject.org Hi all, this patch series fixes the GIC, VGIC and vtimer issues that caused dom1 to hang, as described by Ian in http://marc.info/?l=xen-devel&m=133856539418794. With this patch series applied on top of Ian's, dom1 boots up to: VFS: Cannot open root device "(null)" or unknown-block(2,0) Changes in v2: - prettify gic_restore_pending_irqs; - remove warning from gic_set_guest_irq. - rebased on "xen: event channel remapping for emulated MSIs". Stefano Stabellini (5): arm/vtimer: do not let the guest interact with the physical timer arm/gic: fix gic context switch xen/gic: support injecting IRQs even to VCPUs not currently running xen/vgic: vgic: support irq enable/disable xen/vgic: initialize pending_irqs.lr_queue xen/arch/arm/gic.c | 65 +++++++++++++++++++++++++++++------------- xen/arch/arm/gic.h | 2 +- xen/arch/arm/time.c | 4 +- xen/arch/arm/vgic.c | 27 +++++++++++++++++- xen/include/asm-arm/domain.h | 9 ++++++ 5 files changed, 83 insertions(+), 24 deletions(-) Cheers, Stefano