hw/sh_serial: Use TARGET_PRIxPHYS rather than %x for physaddr

Switch a format string from %x to TARGET_PRIxPHYS so that it will
continue to work even if target_phys_addr_t is changed
to 64 bits in the future.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Andreas Färber <afaerber@suse.de>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
This commit is contained in:
Peter Maydell 2012-06-25 16:52:23 +01:00 committed by Blue Swirl
parent cdb30d446f
commit c1950a4e95
1 changed files with 4 additions and 2 deletions

View File

@ -186,7 +186,8 @@ static void sh_serial_write(void *opaque, target_phys_addr_t offs,
}
}
fprintf(stderr, "sh_serial: unsupported write to 0x%02x\n", offs);
fprintf(stderr, "sh_serial: unsupported write to 0x%02"
TARGET_PRIxPHYS "\n", offs);
abort();
}
@ -287,7 +288,8 @@ static uint64_t sh_serial_read(void *opaque, target_phys_addr_t offs,
#endif
if (ret & ~((1 << 16) - 1)) {
fprintf(stderr, "sh_serial: unsupported read from 0x%02x\n", offs);
fprintf(stderr, "sh_serial: unsupported read from 0x%02"
TARGET_PRIxPHYS "\n", offs);
abort();
}