Searched refs:tsc_offset (Results 1 – 4 of 4) sorted by relevance
257 __s64 tsc_offset; member
66 u64 tsc_offset; member
996 return svm->vmcb->control.tsc_offset; in svm_read_tsc_offset()1005 g_tsc_offset = svm->vmcb->control.tsc_offset - in svm_write_tsc_offset()1006 svm->nested.hsave->control.tsc_offset; in svm_write_tsc_offset()1007 svm->nested.hsave->control.tsc_offset = offset; in svm_write_tsc_offset()1010 svm->vmcb->control.tsc_offset, in svm_write_tsc_offset()1013 svm->vmcb->control.tsc_offset = offset + g_tsc_offset; in svm_write_tsc_offset()1022 svm->vmcb->control.tsc_offset += adjustment; in svm_adjust_tsc_offset_guest()1024 svm->nested.hsave->control.tsc_offset += adjustment; in svm_adjust_tsc_offset_guest()1027 svm->vmcb->control.tsc_offset - adjustment, in svm_adjust_tsc_offset_guest()1028 svm->vmcb->control.tsc_offset); in svm_adjust_tsc_offset_guest()[all …]
240 u64 tsc_offset; member726 FIELD64(TSC_OFFSET, tsc_offset),2457 u64 host_tsc, tsc_offset; in guest_read_tsc() local2460 tsc_offset = vmcs_read64(TSC_OFFSET); in guest_read_tsc()2461 return kvm_scale_tsc(vcpu, host_tsc) + tsc_offset; in guest_read_tsc()2470 u64 tsc_offset; in vmx_read_l1_tsc() local2472 tsc_offset = is_guest_mode(vcpu) ? in vmx_read_l1_tsc()2475 return host_tsc + tsc_offset; in vmx_read_l1_tsc()2501 vmcs12->tsc_offset : 0)); in vmx_write_tsc_offset()9916 vmx->nested.vmcs01_tsc_offset + vmcs12->tsc_offset); in prepare_vmcs02()