> + if ( clocksource_is_tsc )
> + {
> + plt_init();
> + }
> + else
> + {
> + plt_overflow_period = scale_delta(
> + 1ull << (pts->counter_bits-1), &plt_scale);
> + init_timer(&plt_overflow_timer, plt_overflow, NULL, 0);
> + plt_overflow(NULL);
> +
> + printk("Platform timer overflow period is %lu secs\n",
> + plt_overflow_period/1000000000);
s/1000000000/SECONDS(1) ?
> + }
>
> platform_timer_stamp = plt_stamp64;
> stime_platform_stamp = NOW();
> --
> 2.1.4
>
>
> _______________________________________________
> Xen-devel mailing list
> Xen-devel@lists.xen.org
> http://lists.xen.org/xen-devel
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
