vm_set_tsc_offset
void vm_set_tsc_offset(struct vcpu *vcpu, uint64_t offset);
vm_set_tsc_offset(vcpu->vcpu, offset);