Message ID | 1402394278-9850-1-git-send-email-ian.campbell@citrix.com |
---|---|
State | Superseded |
Headers | show |
Hi Ian, On 06/10/2014 10:57 AM, Ian Campbell wrote: > 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> Regards,
diff --git a/xen/arch/arm/domain.c b/xen/arch/arm/domain.c index 04d0cd0..e494112 100644 --- a/xen/arch/arm/domain.c +++ b/xen/arch/arm/domain.c @@ -742,12 +742,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); - } } @@ -770,6 +764,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)
Instead of looping over vcpus in arch_dump_domain_info Signed-off-by: Ian Campbell <ian.campbell@citrix.com> --- xen/arch/arm/domain.c | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-)