156 	uint64_t	tsc_offset;	/* (x) vCPU TSC offset */  member
222 	uint64_t	tsc_offset;		/* (i) VM-wide TSC offset */  member
425 	vcpu->tsc_offset = 0;  in vcpu_init()
583 	vm->tsc_offset = calc_tsc_offset(boot_tsc, 0, vm->freq_multiplier);  in vm_init()
2135 		vcpu->tsc_offset = val - calc_guest_tsc(rdtsc_offset(),  in vm_handle_wrmsr()
2136 		    vm->freq_multiplier, vm->tsc_offset);  in vm_handle_wrmsr()
3282 	uint64_t vcpu_off = vm->tsc_offset + vm->vcpu[vcpuid].tsc_offset;  in vcpu_tsc_offset()
4093 		*value = vm->vcpu[vcpuid].tsc_offset;  in vmm_data_read_msr()
4116 		vm->vcpu[vcpuid].tsc_offset = value;  in vmm_data_write_msr()
4910 	    vm->tsc_offset);  in vmm_data_read_vmm_time()
5024 	vm->tsc_offset = calc_tsc_offset(tsc, base_guest_tsc,  in vmm_data_write_vmm_time()