Symbol: svm_set_tsc_offset
sys/amd64/vmm/amd/svm.c
2824
svm_set_tsc_offset(vcpu, offset);
sys/amd64/vmm/amd/svm.h
70
void svm_set_tsc_offset(struct svm_vcpu *vcpu, uint64_t offset);
sys/amd64/vmm/amd/svm_msr.c
174
svm_set_tsc_offset(vcpu, val - rdtsc());