> +extern void stop_hz_timer(void);
> +extern void start_hz_timer(void);
> +
> +void xen_idle(void);
> +
> static char * __init machine_specific_memory_setup(void)
> {
> unsigned long max_pfn = xen_start_info->nr_pages;
> @@ -65,4 +70,23 @@ static void __init machine_specific_arch
> console_use_vt = 0;
> conswitchp = NULL;
> }
> +
> + pm_idle = xen_idle;
> +}
> +
> +void xen_idle(void)
I think that should be in some .c file, not a .h
Probably applies to more of your functions too.
-Andi
