Re: [PATCH v3] xen: Fix x86 sched_clock() interface for xen