x86: time_64.c timer_interrupt() should be static
authorJaswinder Singh <jaswinder@infradead.org>
Wed, 17 Dec 2008 17:47:21 +0000 (23:17 +0530)
committerIngo Molnar <mingo@elte.hu>
Thu, 18 Dec 2008 12:33:47 +0000 (13:33 +0100)
Impact: cleanup, reduce kernel size a bit

Signed-off-by: Jaswinder Singh <jaswinder@infradead.org>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
arch/x86/kernel/time_64.c

Simple merge