Searched refs:tsc_offset (Results 1 – 3 of 3) sorted by relevance
63 u64 tsc_offset; member
534 control->tsc_offset = 0; in init_vmcb()690 svm->vmcb->control.tsc_offset += delta; in svm_vcpu_load()1206 *data = svm->vmcb->control.tsc_offset + tsc; in svm_get_msr()1287 svm->vmcb->control.tsc_offset = data - tsc; in svm_set_msr()
848 u64 host_tsc, tsc_offset; in guest_read_tsc() local851 tsc_offset = vmcs_read64(TSC_OFFSET); in guest_read_tsc()852 return host_tsc + tsc_offset; in guest_read_tsc()