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/intel/pmap.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/intel/pmap.c')
-rw-r--r-- | i386/intel/pmap.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index 0f2ad641..00a18402 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -1973,13 +1973,13 @@ void pmap_enter( phys_addr_t old_pa; assert(pa != vm_page_fictitious_addr); - if (pmap_debug) printf("pmap(%lx, %llx)\n", v, (unsigned long long) pa); + if (pmap_debug) printf("pmap(%zx, %llx)\n", v, (unsigned long long) pa); if (pmap == PMAP_NULL) return; #if !MACH_KDB if (pmap == kernel_pmap && (v < kernel_virtual_start || v >= kernel_virtual_end)) - panic("pmap_enter(%lx, %llx) falls in physical memory area!\n", v, (unsigned long long) pa); + panic("pmap_enter(%zx, %llx) falls in physical memory area!\n", v, (unsigned long long) pa); #endif #if !(__i486__ || __i586__ || __i686__) if (pmap == kernel_pmap && (prot & VM_PROT_WRITE) == 0 @@ -2036,7 +2036,7 @@ Retry: * Would have to enter the new page-table page in * EVERY pmap. */ - panic("pmap_expand kernel pmap to %#lx", v); + panic("pmap_expand kernel pmap to %#zx", v); } /* |