1 files changed, 10 insertions, 1 deletions

diff --git a/arch/powerpc/kernel/time.c b/arch/powerpc/kernel/time.c
index f33acfd872a..2de304af07a 100644
--- a/arch/powerpc/kernel/time.c
+++ b/arch/powerpc/kernel/time.c
@@ -544,7 +544,7 @@ DEFINE_PER_CPU(u8, irq_work_pending);
 
 #endif /* 32 vs 64 bit */
 
-void set_irq_work_pending(void)
+void arch_irq_work_raise(void)
 {
         preempt_disable();
         set_irq_work_pending_flag();
@@ -889,6 +889,15 @@ static void __init clocksource_init(void)
                clock->name, clock->mult, clock->shift);
 }
 
+void decrementer_check_overflow(void)
+{
+        u64 now = get_tb_or_rtc();
+        struct decrementer_clock *decrementer = &__get_cpu_var(decrementers);
+
+        if (now >= decrementer->next_tb)
+                set_dec(1);
+}
+
 static int decrementer_set_next_event(unsigned long evt,
                                       struct clock_event_device *dev)
 {