-
Helge Deller authored
Userspace is up to now limited to 32-bit, so it's sufficient to print only 32-bit values when showing pointer addresses. Signed-off-by:
Helge Deller <deller@gmx.de>
e5e9e7f2
Userspace is up to now limited to 32-bit, so it's sufficient to print
only 32-bit values when showing pointer addresses.
Signed-off-by:
Helge Deller <deller@gmx.de>