boot/efi/arm: fix printout of kernel entry address on startup

Change-Id: If3d592983e1c22210c6b4d3a6ceaf2a7641e7e7a
Reviewed-on: https://review.haiku-os.org/c/haiku/+/4785
Tested-by: Commit checker robot <[email protected]>
Reviewed-by: Fredrik Holmqvist <[email protected]>
This commit is contained in:
David Karoly
2021-12-14 19:46:50 +00:00
committed by Fredrik Holmqvist
parent 1f6e2499db
commit 20efe26dfa
@@ -161,7 +161,7 @@ arch_start_kernel(addr_t kernelEntry)
// Enter the kernel!
dprintf("arch_enter_kernel(ttbr0: 0x%08x, kernelArgs: 0x%08x, "
"kernelEntry: 0x%08x, sp: 0x%08x)\n",
final_ttbr0, (uint32_t)&gKernelArgs, (uint32_t)&kernelEntry,
final_ttbr0, (uint32_t)&gKernelArgs, (uint32_t)kernelEntry,
(uint32_t)(gKernelArgs.cpu_kstack[0].start + gKernelArgs.cpu_kstack[0].size));
arch_enter_kernel(final_ttbr0, &gKernelArgs, kernelEntry,