On 01/02/16 15:38, Boris Ostrovsky wrote:
> xen_timer_init() will be called from apic_bsp_setup().

I must be missing something because xen_init_time_ops() is only called
from the PV-only xen_start_kernel()?

David

> --- a/arch/x86/xen/time.c
> +++ b/arch/x86/xen/time.c
> @@ -492,7 +492,10 @@ void __init xen_init_time_ops(void)
>  {
>       pv_time_ops = xen_time_ops;
>  
> -     x86_init.timers.timer_init = xen_time_init;
> +     if (!xen_hvmlite)
> +             x86_init.timers.timer_init = xen_time_init;
> +     else
> +             x86_init.timers.timer_init = x86_init_noop;
>       x86_init.timers.setup_percpu_clockev = x86_init_noop;
>       x86_cpuinit.setup_percpu_clockev = x86_init_noop;
>  
> 


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel

Reply via email to