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 /device | |
| 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 'device')
| -rw-r--r-- | device/ds_routines.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index c883aec7..ba233a91 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -1501,7 +1501,7 @@ device_map( static void ds_no_senders(mach_no_senders_notification_t *notification) { - printf("ds_no_senders called! device_port=0x%lx count=%d\n", + printf("ds_no_senders called! device_port=0x%zx count=%d\n", notification->not_header.msgh_remote_port, notification->not_count); } |