xenctx: Fix print_ctx_32on64's print_special call.
authorDon Slutz <dslutz@verizon.com>
Thu, 3 Apr 2014 19:07:09 +0000 (15:07 -0400)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 4 Apr 2014 08:28:09 +0000 (09:28 +0100)
commite40a01b0fb502629e345442ddb8feb07357c1de7
tree2fedf0d73abf8e69ba2aea88afcb69e0fc9720bb
parent701ce4a698dbabb9599e66e50ae19768a8e882d3
xenctx: Fix print_ctx_32on64's print_special call.

print_special() uses the width argument to both select output format
and array size.  So by passing 4 it expects an array of uint32_t.
But an array of uint64_t is passed.

So copy and mask the registers to 32 bits.

Signed-off-by: Don Slutz <dslutz@verizon.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
tools/xentrace/xenctx.c