On Tuesday 10 November 2015 11:57:55 Stefano Stabellini wrote:
> + op.u.settime64.nsecs = now.tv_nsec;
> + op.u.settime64.system_time = arch_timer_read_counter() *
> (u64)NSEC_PER_SEC;
> + do_div(op.u.settime64.system_time, arch_timer_get_rate());
NSEC_PER_SEC is a large number, doesn't that multiplication overflow the
64-bit system_time variable?
> + printk("GTOD: Setting to %llu.%u at %llu\n",
%llu.%09u
so you get the leading zeroes.
> + op.u.settime64.secs,
> + op.u.settime64.nsecs,
> + op.u.settime64.system_time);
> + (void)HYPERVISOR_platform_op(&op);
Arnd
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
