diff options
author | Stefano Stabellini <stefano.stabellini@eu.citrix.com> | 2013-02-18 16:02:28 +0000 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2013-04-10 16:04:48 +0100 |
commit | 0648a3437e9adc2f297f16286b1d58d598c0b865 (patch) | |
tree | 906873aa05296f791150906c5707cde3dac64319 | |
parent | bd9be94eb2280e8e662e75f1e5fea7c12eb2589c (diff) | |
download | xen-0648a3437e9adc2f297f16286b1d58d598c0b865.tar.gz xen-0648a3437e9adc2f297f16286b1d58d598c0b865.tar.bz2 xen-0648a3437e9adc2f297f16286b1d58d598c0b865.zip |
xen/arm: dump gic debug info from arch_dump_domain_info
Print some useful GIC debug information when arch_dump_domain_info is
called ('q' debug key).
Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
-rw-r--r-- | xen/arch/arm/domain.c | 6 | ||||
-rw-r--r-- | xen/arch/arm/gic.c | 27 | ||||
-rw-r--r-- | xen/include/asm-arm/gic.h | 3 |
3 files changed, 36 insertions, 0 deletions
diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c index bca3d89623..ac997d6d15 100644 --- a/xen/arch/arm/domain.c +++ b/xen/arch/arm/domain.c @@ -617,6 +617,12 @@ int domain_relinquish_resources(struct domain *d) void arch_dump_domain_info(struct domain *d) { + struct vcpu *v; + + for_each_vcpu ( d, v ) + { + gic_dump_info(v); + } } long arch_do_vcpu_op(int cmd, struct vcpu *v, XEN_GUEST_HANDLE_PARAM(void) arg) diff --git a/xen/arch/arm/gic.c b/xen/arch/arm/gic.c index 41abdfbe41..5a380ca1f7 100644 --- a/xen/arch/arm/gic.c +++ b/xen/arch/arm/gic.c @@ -657,6 +657,33 @@ static void maintenance_interrupt(int irq, void *dev_id, struct cpu_user_regs *r } } +void gic_dump_info(struct vcpu *v) +{ + int i; + struct pending_irq *p; + + printk("GICH_LRs (vcpu %d) mask=%llx\n", v->vcpu_id, v->arch.lr_mask); + if ( v == current ) + { + for ( i = 0; i < nr_lrs; i++ ) + printk(" HW_LR[%d]=%x\n", i, GICH[GICH_LR + i]); + } else { + for ( i = 0; i < nr_lrs; i++ ) + printk(" VCPU_LR[%d]=%x\n", i, v->arch.gic_lr[i]); + } + + list_for_each_entry ( p, &v->arch.vgic.inflight_irqs, inflight ) + { + printk("Inflight irq=%d\n", p->irq); + } + + list_for_each_entry( p, &v->arch.vgic.lr_pending, lr_queue ) + { + printk("Pending irq=%d\n", p->irq); + } + +} + void __cpuinit init_maintenance_interrupt(void) { request_irq(25, maintenance_interrupt, 0, "irq-maintenance", NULL); diff --git a/xen/include/asm-arm/gic.h b/xen/include/asm-arm/gic.h index c6535d1a2e..6bf50bbd95 100644 --- a/xen/include/asm-arm/gic.h +++ b/xen/include/asm-arm/gic.h @@ -157,6 +157,9 @@ extern int gicv_setup(struct domain *d); extern void gic_save_state(struct vcpu *v); extern void gic_restore_state(struct vcpu *v); +/* print useful debug info */ +extern void gic_dump_info(struct vcpu *v); + #endif /* __ASSEMBLY__ */ #endif |