Fix the KDD_LOG statements to use appropriate format specifier for printing uint64_t
authorJulian Tuminaro <julian.tuminaro@gmail.com>
Sat, 30 Nov 2019 08:11:18 +0000 (03:11 -0500)
committerWei Liu <wl@xen.org>
Sun, 1 Dec 2019 22:06:15 +0000 (22:06 +0000)
commit0022387cefc6ced6d2062ffaee7285405aa4d444
treedcfbd657e1f42e66356de3c113fb5f0987d18b7d
parentf2ae59bc4b9b5c3f12de86aa42cdf413d2c3ffbf
Fix the KDD_LOG statements to use appropriate format specifier for printing uint64_t

Previous commit in kdd.c had a small issue which lead to warning/error while compiling
on 32-bit systems due to mismatch of type size while doing type cast from uint64_t to
void *

Signed-off-by: Jenish Rakholiya <rjenish@cmu.edu>
Signed-off-by: Julian Tuminaro <jtuminar@andrew.cmu.edu>
Acked-by: Tim Deegan <tim@xen.org>
tools/debugger/kdd/kdd.c