Julian Tuminaro 0022387cef 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>

2019-12-01 22:06:15 +00:00

..

gdbsx

gdbsx: Honour LDFLAGS when linking

2018-10-15 14:49:33 +01:00

kdd

Fix the KDD_LOG statements to use appropriate format specifier for printing uint64_t

2019-12-01 22:06:15 +00:00