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

index cb19d65..083a4a5 100644 (file)
@@ -49,7 +49,7 @@ unsigned long profile_pc(struct pt_regs *regs)
 }
 EXPORT_SYMBOL(profile_pc);
 
-irqreturn_t timer_interrupt(int irq, void *dev_id)
+static irqreturn_t timer_interrupt(int irq, void *dev_id)
 {
        add_pda(irq0_irqs, 1);