1.1 --- a/xen/arch/x86/acpi/cpufreq/cpufreq_ondemand.c	Wed Jul 02 09:45:18 2008 +0100
     1.2 +++ b/xen/arch/x86/acpi/cpufreq/cpufreq_ondemand.c	Wed Jul 02 10:56:37 2008 +0100
     1.3 @@ -52,7 +52,7 @@ static struct dbs_tuners {
     1.4  
     1.5  static struct timer dbs_timer[NR_CPUS];
     1.6  
     1.7 -inline uint64_t get_cpu_idle_time(unsigned int cpu)
     1.8 +uint64_t get_cpu_idle_time(unsigned int cpu)
     1.9  {
    1.10      uint64_t idle_ns;
    1.11      struct vcpu *v;

     2.1 --- a/xen/include/acpi/cpufreq/processor_perf.h	Wed Jul 02 09:45:18 2008 +0100
     2.2 +++ b/xen/include/acpi/cpufreq/processor_perf.h	Wed Jul 02 10:56:37 2008 +0100
     2.3 @@ -20,7 +20,7 @@ int  cpufreq_dom_dbs(unsigned int);
     2.4  void cpufreq_suspend(void);
     2.5  int  cpufreq_resume(void);
     2.6  
     2.7 -inline uint64_t get_cpu_idle_time(unsigned int);
     2.8 +uint64_t get_cpu_idle_time(unsigned int);
     2.9  
    2.10  struct processor_performance {
    2.11      uint32_t state;