tree e4326be8ddcd2fb97e36466dfd067beeaf5e9321
parent d94196a29ed371abe2f9f381b5bad701062d0e3e
author Helge Deller <deller@gmx.de> 1612993034 +0100
committer Helge Deller <deller@gmx.de> 1632474617 +0200

output.c: Make printf() capable to print 64bit int values

On PA-RISC we want to print some numbers as 64-bits, so
fix the bvprintf() function acordingly.

On x86 printing integers was (and still is) limited to 32bit,
probaby to avoid gcc to insert calls to __umoddi3 and __udivdi3
and thus getting undefined reference linker errors.

Signed-off-by: Helge Deller <deller@gmx.de>