Symbol: vmx_set_tsc_offset
sys/amd64/vmm/intel/vmx.c
4275
error = vmx_set_tsc_offset(vcpu, offset);
sys/amd64/vmm/intel/vmx.h
176
int vmx_set_tsc_offset(struct vmx_vcpu *vcpu, uint64_t offset);
sys/amd64/vmm/intel/vmx_msr.c
492
error = vmx_set_tsc_offset(vcpu, val - rdtsc());