x86_64: remove unused header file:
authorThomas Gleixner <tglx@linutronix.de>
Thu, 11 Oct 2007 09:11:39 +0000 (11:11 +0200)
committerThomas Gleixner <tglx@linutronix.de>
Thu, 11 Oct 2007 09:11:39 +0000 (11:11 +0200)
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found