From 8d35b1a200db90eee82812d6869a7ff1e2d157a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Axel=20D=C3=B6rfler?= <axeld@pinc-software.de>
Date: Wed, 21 Apr 2004 11:11:45 +0000
Subject: [PATCH] platform_start_kernel() now prints out the kernel entry point
 instead of the address of the kernel_args structure.

git-svn-id: file:///srv/svn/repos/haiku/trunk/current@7285 a95241bf-73f2-0310-859d-f6bbb57e9c96
---
 src/kernel/boot/platform/bios_ia32/start.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel/boot/platform/bios_ia32/start.c b/src/kernel/boot/platform/bios_ia32/start.c
index d245f44221..493b0dc7d0 100644
--- a/src/kernel/boot/platform/bios_ia32/start.c
+++ b/src/kernel/boot/platform/bios_ia32/start.c
@@ -56,7 +56,7 @@ void
 platform_start_kernel(void)
 {
 	mmu_init_for_kernel();
-	printf("kernel args at %p\n", &gKernelArgs);
+	printf("kernel entry at %lx\n", gKernelEntry);
 
 	asm("movl	%0, %%eax;	"			// move stack out of way
 		"movl	%%eax, %%esp; "