system/u-boot: Some 64-bit cleanups to our u-boot code

Change-Id: I70c50b36cd56263dcb37faeffc4037dea4af88c0
Reviewed-on: https://review.haiku-os.org/c/haiku/+/2171
Reviewed-by: Alex von Gluck IV <[email protected]>
Reviewed-by: Adrien Destugues <[email protected]>
This commit is contained in:
Alexander von Gluck IV
2020-01-28 18:32:09 +00:00
committed by Alex von Gluck IV
parent 3b11f603cf
commit 250b21a583
+9 -7
View File
@@ -123,13 +123,13 @@ platform_start_kernel(void)
mmu_init_for_kernel(); mmu_init_for_kernel();
// smp_boot_other_cpus(); // smp_boot_other_cpus();
dprintf("ncpus %lx\n", gKernelArgs.num_cpus); dprintf("ncpus %" B_PRId32 "\n", gKernelArgs.num_cpus);
dprintf("kernel entry at %lx\n", kernelEntry); dprintf("kernel entry at 0x%" B_PRIxADDR "\n", kernelEntry);
status_t error = arch_start_kernel(&gKernelArgs, kernelEntry, status_t error = arch_start_kernel(&gKernelArgs, kernelEntry,
stackTop); stackTop);
panic("kernel returned %lx!\n", error); panic("kernel returned 0x%" B_PRIx32 "!\n", error);
} }
@@ -270,8 +270,10 @@ start_gen(int argc, const char **argv, struct image_header *uimage, void *fdt)
{ //DEBUG: { //DEBUG:
int i; int i;
dprintf("argc = %d\n", argc); dprintf("argc = %d\n", argc);
for (i = 0; i < argc; i++) for (i = 0; i < argc; i++) {
dprintf("argv[%d] @%lx = '%s'\n", i, (uint32)argv[i], argv[i]); dprintf("argv[%d] @%" B_PRIxADDR " = '%s'\n", i,
(addr_t)argv[i], argv[i]);
}
dprintf("os: %d\n", (int)gUBootOS); dprintf("os: %d\n", (int)gUBootOS);
dprintf("gd @ %p\n", gUBootGlobalData); dprintf("gd @ %p\n", gUBootGlobalData);
if (gUBootGlobalData) { if (gUBootGlobalData) {
@@ -335,8 +337,8 @@ start_gen(int argc, const char **argv, struct image_header *uimage, void *fdt)
} }
dprintf("args.arguments_count = %" B_PRId32 "\n", args.arguments_count); dprintf("args.arguments_count = %" B_PRId32 "\n", args.arguments_count);
for (int i = 0; i < args.arguments_count; i++) for (int i = 0; i < args.arguments_count; i++)
dprintf("args.arguments[%d] @%lx = '%s'\n", i, dprintf("args.arguments[%d] @%" B_PRIxADDR " = '%s'\n", i,
(uint32)args.arguments[i], args.arguments[i]); (addr_t)args.arguments[i], args.arguments[i]);
} }
// wait a bit to give the user the opportunity to press a key // wait a bit to give the user the opportunity to press a key