1 files changed, 1 insertions, 5 deletions

diff --git a/arch/ia64/kernel/time.c b/arch/ia64/kernel/time.c
index 48e15a51782f..aad1b7b1fff9 100644
--- a/arch/ia64/kernel/time.c
+++ b/arch/ia64/kernel/time.c
@@ -117,6 +117,7 @@ void account_system_vtime(struct task_struct *tsk)
 
         local_irq_restore(flags);
 }
+EXPORT_SYMBOL_GPL(account_system_vtime);
 
 /*
  * Called from the timer interrupt handler to charge accumulated user time
@@ -379,11 +380,6 @@ static struct irqaction timer_irqaction = {
         .name =         "timer"
 };
 
-void __devinit ia64_disable_timer(void)
-{
-        ia64_set_itv(1 << 16);
-}
-
 void __init
 time_init (void)
 {