PROCBASED_TSC_OFFSET
if ((vcpu->cap.proc_ctls & PROCBASED_TSC_OFFSET) == 0) {
vcpu->cap.proc_ctls |= PROCBASED_TSC_OFFSET;