From: Ian Campbell <ian.campbell@citrix.com>
Date: Wed, 9 Jul 2014 12:07:39 +0000 (+0100)
Subject: xen: arm: dump vcpu gic info in arch_dump_vcpu_info
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~4696
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=7c3a60d25ea0f8cf1a6abf614c70a923ee7cb5e8;p=xen.git

xen: arm: dump vcpu gic info in arch_dump_vcpu_info

Instead of looping over vcpus in arch_dump_domain_info

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
---

diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c
index 829d49f69e..bb5c810756 100644
--- a/xen/arch/arm/domain.c
+++ b/xen/arch/arm/domain.c
@@ -747,12 +747,6 @@ 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);
-    }
 }
 
 
@@ -775,6 +769,7 @@ long arch_do_vcpu_op(int cmd, struct vcpu *v, XEN_GUEST_HANDLE_PARAM(void) arg)
 
 void arch_dump_vcpu_info(struct vcpu *v)
 {
+    gic_dump_info(v);
 }
 
 void vcpu_mark_events_pending(struct vcpu *v)