Searched refs:g_tsc_offset (Results 1 – 2 of 2) sorted by relevance
1708 u64 g_tsc_offset = 0; in vmx_write_l1_tsc_offset() local1718 g_tsc_offset = vmcs12->tsc_offset; in vmx_write_l1_tsc_offset()1721 vcpu->arch.tsc_offset - g_tsc_offset, in vmx_write_l1_tsc_offset()1723 vmcs_write64(TSC_OFFSET, offset + g_tsc_offset); in vmx_write_l1_tsc_offset()1724 return offset + g_tsc_offset; in vmx_write_l1_tsc_offset()
1461 u64 g_tsc_offset = 0; in svm_write_l1_tsc_offset() local1465 g_tsc_offset = svm->vmcb->control.tsc_offset - in svm_write_l1_tsc_offset()1471 svm->vmcb->control.tsc_offset - g_tsc_offset, in svm_write_l1_tsc_offset()1474 svm->vmcb->control.tsc_offset = offset + g_tsc_offset; in svm_write_l1_tsc_offset()
