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>
1 file changed
tree: e4326be8ddcd2fb97e36466dfd067beeaf5e9321
  1. docs/
  2. scripts/
  3. src/
  4. vgasrc/
  5. .gitignore
  6. COPYING
  7. COPYING.LESSER
  8. Makefile
  9. README