Searched refs:tsc_offset (Results 1 – 5 of 5) sorted by relevance
236 __s64 tsc_offset; member
1035 return svm->vmcb->control.tsc_offset; in svm_read_tsc_offset()1044 g_tsc_offset = svm->vmcb->control.tsc_offset - in svm_write_tsc_offset()1045 svm->nested.hsave->control.tsc_offset; in svm_write_tsc_offset()1046 svm->nested.hsave->control.tsc_offset = offset; in svm_write_tsc_offset()1049 svm->vmcb->control.tsc_offset, in svm_write_tsc_offset()1052 svm->vmcb->control.tsc_offset = offset + g_tsc_offset; in svm_write_tsc_offset()1067 svm->vmcb->control.tsc_offset += adjustment; in svm_adjust_tsc_offset()1069 svm->nested.hsave->control.tsc_offset += adjustment; in svm_adjust_tsc_offset()1072 svm->vmcb->control.tsc_offset - adjustment, in svm_adjust_tsc_offset()1073 svm->vmcb->control.tsc_offset); in svm_adjust_tsc_offset()[all …]
219 u64 tsc_offset; member656 FIELD64(TSC_OFFSET, tsc_offset),2255 u64 host_tsc, tsc_offset; in guest_read_tsc() local2258 tsc_offset = vmcs_read64(TSC_OFFSET); in guest_read_tsc()2259 return host_tsc + tsc_offset; in guest_read_tsc()2268 u64 tsc_offset; in vmx_read_l1_tsc() local2270 tsc_offset = is_guest_mode(vcpu) ? in vmx_read_l1_tsc()2273 return host_tsc + tsc_offset; in vmx_read_l1_tsc()2315 vmcs12->tsc_offset : 0)); in vmx_write_tsc_offset()9317 vmx->nested.vmcs01_tsc_offset + vmcs12->tsc_offset); in prepare_vmcs02()
66 u64 tsc_offset; member
105 u64 tsc_offset;