Re: [Xen-devel] [PATCH v2] xen: Fix x86 sched_clock() interface for xen