Searched refs:tsc_multiplier (Results 1 – 5 of 5) sorted by relevance
33 u64 tsc_multiplier; member
698 vcpu->arch.tsc_scaling_ratio = kvm_tdx->tsc_multiplier; in tdx_vcpu_create() 699 vcpu->arch.l1_tsc_scaling_ratio = kvm_tdx->tsc_multiplier; in tdx_vcpu_create() 2885 kvm_tdx->tsc_multiplier = td_tdcs_exec_read64(kvm_tdx, TD_TDCS_EXEC_TSC_MULTIPLIER); in tdx_flush_tlb_current()
1909 vmcs12->tsc_multiplier = evmcs->tsc_multiplier; in copy_enlightened_to_vmcs12() 2073 * evmcs->tsc_multiplier = vmcs12->tsc_multiplier; in copy_vmcs12_to_enlightened() 3029 CC(!vmcs12->tsc_multiplier)) in nested_check_vm_execution_controls()
2059 return vmcs12->tsc_multiplier; in vmx_get_l2_tsc_multiplier()
211 u64 tsc_multiplier; member 653 *value = current_evmcs->tsc_multiplier; in evmcs_vmread() 1181 current_evmcs->tsc_multiplier = value; in evmcs_vmwrite()