/* x86: pvclock algorithm is safe to use on HVM */