Searched refs:tsc_offset (Results 1 – 3 of 3) sorted by relevance
124 uint64_t tsc_offset; /* (o) TSC offsetting */ member357 vcpu->tsc_offset = 0; in vcpu_alloc()2914 tsc = now + vcpu->tsc_offset; in vm_snapshot_vcpus()2917 vcpu->tsc_offset = tsc; in vm_snapshot_vcpus()3012 vcpu->tsc_offset = offset; in vm_set_tsc_offset()3036 vcpu->tsc_offset - now); in vm_restore_time()
265 uint64_t tsc_offset; /* 0x50: TSC_OFFSET */ member
293 ctrl->tsc_offset = offset; in svm_set_tsc_offset()