diff -r 19970181d6a4 xen/include/acpi/cpufreq/processor_perf.h
--- a/xen/include/acpi/cpufreq/processor_perf.h	Tue Jul 01 14:50:35 2008 +0100
+++ b/xen/include/acpi/cpufreq/processor_perf.h	Wed Jul 02 08:18:36 2008 +0800
@@ -20,7 +20,7 @@ void cpufreq_suspend(void);
 void cpufreq_suspend(void);
 int  cpufreq_resume(void);
 
-inline uint64_t get_cpu_idle_time(unsigned int);
+uint64_t get_cpu_idle_time(unsigned int);
 
 struct processor_performance {
     uint32_t state;