Modified Xen 4.4 source for new RDTSC