Am 19.03.2013 um 14:29 hat Andreas Färber geschrieben:
> Am 19.03.2013 12:25, schrieb Kevin Wolf:
> > This fixes the build of hw/serial.c with DEBUG_SERIAL enabled.
> >
> > Signed-off-by: Kevin Wolf <kw...@redhat.com>
> > ---
> > hw/serial.c | 4 ++--
> > 1 file changed, 2 insertions(+), 2 deletions(-)
> >
> > diff --git a/hw/serial.c b/hw/serial.c
> > index 48a5eb6..0ccc499 100644
> > --- a/hw/serial.c
> > +++ b/hw/serial.c
> > @@ -306,7 +306,7 @@ static void serial_ioport_write(void *opaque, hwaddr
> > addr, uint64_t val,
> > SerialState *s = opaque;
> >
> > addr &= 7;
> > - DPRINTF("write addr=0x%02x val=0x%02x\n", addr, val);
> > + DPRINTF("write addr=0x%" HWADDR_PRIx " val=0x%" PRIx64 "\n", addr,
> > val);
>
> Are you intentionally dropping 02 in both places? That changes output FWIW.
%02 for 64 bit values felt odd, but I think they might be guaranteed to
be small enough in practice. If you really prefer, I can send a v2 which
adds it back. But it's only debug code, so... *shrug*
Kevin
