Fix printf warnings with %j and uintmax_t.

This commit is contained in:
jhb 2002-11-08 20:59:23 +00:00
parent fc33c79678
commit 212feaf2a9

View File

@ -40,6 +40,7 @@
#include <sys/fcntl.h>
#include <sys/malloc.h>
#include <sys/fbio.h>
#include <sys/stdint.h>
#include <vm/vm.h>
#include <vm/vm_param.h>
@ -2454,8 +2455,8 @@ vga_mmap_buf(video_adapter_t *adp, vm_offset_t offset, int prot)
return -1;
#if VGA_DEBUG > 0
printf("vga_mmap_buf(): window:0x%x, offset:0x%x\n",
adp->va_info.vi_window, offset);
printf("vga_mmap_buf(): window:0x%jx, offset:0x%jx\n",
(uintmax_t)adp->va_info.vi_window, (uintmax_t)offset);
#endif
/* XXX: is this correct? */