Displaying 1 result from an estimated 1 matches for "817e800".
Did you mean:
017e8010
2013 Feb 15
1
[PATCH 3/4] xen/arm: dump gic debug info from arch_dump_domain_info
...stabellini@eu.citrix.com>
---
xen/arch/arm/domain.c | 6 ++++++
xen/arch/arm/gic.c | 27 +++++++++++++++++++++++++++
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 e37ec54..817e800 100644
--- a/xen/arch/arm/domain.c
+++ b/xen/arch/arm/domain.c
@@ -568,6 +568,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, stru...