diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2022-12-06 00:33:41 -0500 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-12-06 21:27:53 +0100 |
| commit | c925ed9fd3bf4d4fb8a3e6306cda19040cd54627 (patch) | |
| tree | bb974414bebe35c7dfa24e0396425d1fd5f3d19a /i386/i386at/autoconf.c | |
| parent | 2a7263559572f178322451a6a1e0a43dc90cdb32 (diff) | |
| download | gnumach-c925ed9fd3bf4d4fb8a3e6306cda19040cd54627.tar.gz gnumach-c925ed9fd3bf4d4fb8a3e6306cda19040cd54627.tar.bz2 gnumach-c925ed9fd3bf4d4fb8a3e6306cda19040cd54627.zip | |
Define vm_size_t and vm_offset_t as __mach_uintptr_t.
This allows *printf to use %zd/%zu/%zx to print vm_size_t and
vm_offset_t. Warnings using the incorrect specifiers were fixed.
Note that MACH_PORT_NULL became just 0 because GCC thinks that we were
comparing a pointer to a character (due to it being an unsigned int) so
I removed the explicit cast.
Message-Id: <Y47UNdcUF35Ag4Vw@reue>
Diffstat (limited to 'i386/i386at/autoconf.c')
| -rw-r--r-- | i386/i386at/autoconf.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/i386/i386at/autoconf.c b/i386/i386at/autoconf.c index 0b1251f5..8dc0b3ea 100644 --- a/i386/i386at/autoconf.c +++ b/i386/i386at/autoconf.c @@ -133,7 +133,7 @@ void take_dev_irq( printf("The device below will clobber IRQ %d (%p).\n", pic, ivect[pic]); printf("You have two devices at the same IRQ.\n"); printf("This won't work. Reconfigure your hardware and try again.\n"); - printf("%s%d: port = %lx, spl = %ld, pic = %d.\n", + printf("%s%d: port = %zx, spl = %zd, pic = %d.\n", dev->name, dev->unit, dev->address, dev->sysdep, dev->sysdep1); while (1); |