[PATCH v10 16/19] xenctx: Add output of vcpu value and state for --all-vcpus

[Don Slutz <dslutz@verizon.com>]

This makes it easier to know which vcpu the registers belong to and
when not all vcpus are online, which vcpu it is.

Signed-off-by: Don Slutz <dslutz@verizon.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---
 tools/xentrace/xenctx.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tools/xentrace/xenctx.c b/tools/xentrace/xenctx.c
index 59b2f1a..fa300b5 100644
--- a/tools/xentrace/xenctx.c
+++ b/tools/xentrace/xenctx.c
@@ -1019,7 +1019,13 @@ static void dump_all_vcpus(void)
         if ( xc_vcpu_getinfo(xenctx.xc_handle, xenctx.domid, vcpu, &vinfo) )
             continue;
         if ( vinfo.online )
+        {
+            printf("vcpu%d:\n", vcpu);
             dump_ctx(vcpu);
+            printf("\n");
+        }
+        else
+            printf("vcpu%d offline\n\n", vcpu);
     }
 }
 
-- 
1.8.4