svm_set_tsc_offset
svm_set_tsc_offset(vcpu, offset);
void svm_set_tsc_offset(struct svm_vcpu *vcpu, uint64_t offset);
svm_set_tsc_offset(vcpu, val - rdtsc());