hw/a9mpcore: Fix compilation failure if physaddrs are 64 bit
authorPeter Maydell <peter.maydell@linaro.org>
Tue, 22 May 2012 14:29:52 +0000 (14:29 +0000)
committerPeter Maydell <peter.maydell@linaro.org>
Tue, 19 Jun 2012 13:24:44 +0000 (13:24 +0000)
commitc97338dca0197abad7f0c789ad61d45940f67011
treef5db61843a1d2eddf9c08627bfd6ad3c65b5b6b9
parentcff0cfbed5b8c41938af3d134381ea76ee0242f7
hw/a9mpcore: Fix compilation failure if physaddrs are 64 bit

Add a cast to a logging printf to avoid a compilation failure
if target_phys_addr_t is a 64 bit type. (This is better than
using TARGET_FMT_plx because we really don't need a full
16 digit hex string to print the offset into a device.)

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Eric Blake <eblake@redhat.com>
hw/a9mpcore.c