From 991e5bee90ffd98a39f012f6ce4e0740eb620073 Mon Sep 17 00:00:00 2001 From: Alex Smith Date: Tue, 26 Jun 2012 11:27:00 +0100 Subject: [PATCH] Pass correct kernel_args address to the kernel. --- src/system/boot/platform/bios_ia32/long.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/system/boot/platform/bios_ia32/long.cpp b/src/system/boot/platform/bios_ia32/long.cpp index 829e2add72..4ae8dc36d8 100644 --- a/src/system/boot/platform/bios_ia32/long.cpp +++ b/src/system/boot/platform/bios_ia32/long.cpp @@ -269,7 +269,7 @@ long_start_kernel() uint64 entry = image->elf_header.e_entry; uint64 stackTop = gKernelArgs.cpu_kstack[0].start + gKernelArgs.cpu_kstack[0].size; - uint64 kernelArgs = fix_address((addr_t)&gKernelArgs); + uint64 kernelArgs = (addr_t)&gKernelArgs; dprintf("kernel entry at 0x%llx, stack 0x%llx, args 0x%llx\n", entry, stackTop, kernelArgs);