tree 0c1124c1a4bb6fd774eeba3650da76a825774c52
parent 77514da46b29110b63caa7669fac708d88c394af
author Per Åstrand <per.astrand@arm.com> 1601023220 +0200
committer Per Åstrand <per.astrand@arm.com> 1601289844 +0200

Use inttypes format specifiers for logging values

GCC and armclang uses different uint32_t types which makes it impossible
to use standard format specifiers to satisfy both compilers. Move to
inttypes.h macros to handle it in a portable way.

Change-Id: If85e1148d302b64660af66d8f462efba9ac5d86b