vcpu_tsc_offset
const uint64_t offset = vcpu_tsc_offset(svm_sc->vm, vcpuid, true);
const uint64_t offset = vcpu_tsc_offset(vmx->vm, vcpu, true);
uint64_t vcpu_tsc_offset(struct vm *vm, int vcpuid, bool phys_adj);
vcpu_tsc_offset(vm, vcpuid, false));