Displaying 1 result from an estimated 1 matches for "9db1f57".
Did you mean:
3db3f57
2013 Feb 15
1
[PATCH 3/4] xen/arm: dump gic debug info from arch_dump_domain_info
...es(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 88f2d3a..9db1f57 100644
--- a/xen/arch/arm/gic.c
+++ b/xen/arch/arm/gic.c
@@ -677,6 +677,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\...