summaryrefslogtreecommitdiff
path: root/i386/i386at/model_dep.c
diff options
context:
space:
mode:
authorFlavio Cruz <flaviocruz@gmail.com>2022-12-26 19:15:38 -0500
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2022-12-27 21:40:34 +0100
commit9f6fb41fb056ee5dd63b7968eab0280dc02af1cc (patch)
tree8caa926cfc01c63f8216e69e17702494572088e0 /i386/i386at/model_dep.c
parent0ba99b2a18bd423f8aa6ca0315051de76c20ef9c (diff)
Fix inttypes.h format constants for uintptr_t and intptr_t.
The format constants are not correct for 32 bits and there was duplication for PRIx* constants (replaced with octal constants). Fixed a few format warnings too. Message-Id: <Y6o5KsvtPavCYe8f@mars>
Diffstat (limited to 'i386/i386at/model_dep.c')
-rw-r--r--i386/i386at/model_dep.c5
1 files changed, 3 insertions, 2 deletions
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c
index 0fc99406..f677e134 100644
--- a/i386/i386at/model_dep.c
+++ b/i386/i386at/model_dep.c
@@ -32,6 +32,7 @@
* Basic initialization for I386 - ISA bus machines.
*/
+#include <inttypes.h>
#include <string.h>
#include <device/cons.h>
@@ -607,7 +608,7 @@ void c_boot_entry(vm_offset_t bi)
strtab_size = (vm_offset_t)phystokv(boot_info.shdr_size);
kern_sym_end = kern_sym_start + 4 + symtab_size + strtab_size;
- printf("kernel symbol table at %08lx-%08lx (%ld,%ld)\n",
+ printf("kernel symbol table at %08" PRIxPTR "-%08" PRIxPTR " (%ld,%ld)\n",
kern_sym_start, kern_sym_end,
(unsigned long) symtab_size, (unsigned long) strtab_size);
}
@@ -620,7 +621,7 @@ void c_boot_entry(vm_offset_t bi)
elf_shdr_addr = (vm_offset_t)phystokv(boot_info.shdr_addr);
elf_shdr_shndx = boot_info.shdr_strndx;
- printf("ELF section header table at %08lx\n", elf_shdr_addr);
+ printf("ELF section header table at %08" PRIxPTR "\n", elf_shdr_addr);
}
#endif /* MACH_KDB */
#endif /* MACH_XEN */