From: Ingo Molnar <mingo@elte.hu>

x86_64 uses spinlocks very early - earlier than start_kernel().  So call
lockdep_init() from the arch setup code.

Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Arjan van de Ven <arjan@linux.intel.com>
Signed-off-by: Andrew Morton <akpm@osdl.org>
---

 arch/x86_64/kernel/head64.c |    5 +++++
 1 file changed, 5 insertions(+)

diff -puN arch/x86_64/kernel/head64.c~lock-validator-x86_64-early-init arch/x86_64/kernel/head64.c
--- devel/arch/x86_64/kernel/head64.c~lock-validator-x86_64-early-init	2006-05-29 18:13:03.000000000 -0700
+++ devel-akpm/arch/x86_64/kernel/head64.c	2006-05-29 18:13:03.000000000 -0700
@@ -85,6 +85,11 @@ void __init x86_64_start_kernel(char * r
 	clear_bss();
 
 	/*
+	 * This must be called really, really early:
+	 */
+	lockdep_init();
+
+	/*
 	 * switch to init_level4_pgt from boot_level4_pgt
 	 */
 	memcpy(init_level4_pgt, boot_level4_pgt, PTRS_PER_PGD*sizeof(pgd_t));
_