tools/xen-cpuid: Fix 32bit build
authorAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 7 Nov 2018 12:51:43 +0000 (12:51 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 7 Nov 2018 12:54:53 +0000 (12:54 +0000)
commit830f4a2df509d5555ad2bf04824b600717480895
treeee5528c61b6a0e8eda0b5d76ee552565a0e5d323
parent1de3459e0961ff3233392cf21a69cafe9006de59
tools/xen-cpuid: Fix 32bit build

Clang reports:

  xen-cpuid.c:307:29: error: format specifies type 'unsigned long' but the
  argument has type 'uint64_t' (aka 'unsigned long long') [-Werror,-Wformat]

                 msrs[l].idx, msrs[l].val);
                              ^~~~~~~~~~~

Use PRIx64 instead.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
tools/misc/xen-cpuid.c