From: Andrew Morton <akpm@linux-foundation.org>

ERROR: "tick_nohz_get_sleep_length" [drivers/cpuidle/governors/menu.ko] undefined!
ERROR: "tick_nohz_get_idle_jiffies" [drivers/cpuidle/governors/menu.ko] undefined!

And please be sure to get your changes to core kernel suitably reviewed.

Cc: Adam Belay <abelay@novell.com>
Cc: Len Brown <len.brown@intel.com>
Cc: Venki Pallipadi <venkatesh.pallipadi@intel.com>
Cc: Ingo Molnar <mingo@elte.hu>
Cc: Thomas Gleixner <tglx@linutronix.de>
Cc: john stultz <johnstul@us.ibm.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
---

 kernel/time/tick-sched.c |    3 +++
 1 file changed, 3 insertions(+)

diff -puN kernel/time/tick-sched.c~git-acpi-add-exports kernel/time/tick-sched.c
--- a/kernel/time/tick-sched.c~git-acpi-add-exports
+++ a/kernel/time/tick-sched.c
@@ -19,6 +19,7 @@
 #include <linux/percpu.h>
 #include <linux/profile.h>
 #include <linux/sched.h>
+#include <linux/module.h>
 #include <linux/tick.h>
 
 #include <asm/irq_regs.h>
@@ -307,6 +308,7 @@ ktime_t tick_nohz_get_sleep_length(void)
 
        return ts->sleep_length;
 }
+EXPORT_SYMBOL_GPL(tick_nohz_get_sleep_length);
 
 /**
  * tick_nohz_get_idle_jiffies - returns the current idle jiffie count
@@ -317,6 +319,7 @@ unsigned long tick_nohz_get_idle_jiffies
 
        return ts->idle_jiffies;
 }
+EXPORT_SYMBOL_GPL(tick_nohz_get_idle_jiffies);
 
 /**
  * nohz_restart_sched_tick - restart the idle tick from the idle task
_