On Tue, Sep 17, 2013 at 10:37:11AM +0200, Geert Uytterhoeven wrote: > It's confusing that some pointers are printed as hex numbers prefixed with > 0x, while some other values are printed as hex numbers without prefixes. > > Signed-off-by: Geert Uytterhoeven <geert at linux-m68k.org> Thanks, applied.