Searched refs:tsc_multiplier (Results 1 – 9 of 9) sorted by relevance
73 u64 tsc_multiplier; member263 CHECK_OFFSET(tsc_multiplier, 328); in vmx_check_vmcs12_offsets()
35 u64 tsc_multiplier; member
129 EVMCS1_FIELD(TSC_MULTIPLIER, tsc_multiplier,
40 FIELD64(TSC_MULTIPLIER, tsc_multiplier),
706 vcpu->arch.tsc_scaling_ratio = kvm_tdx->tsc_multiplier; in tdx_vcpu_create()707 vcpu->arch.l1_tsc_scaling_ratio = kvm_tdx->tsc_multiplier; in tdx_vcpu_create()2760 kvm_tdx->tsc_multiplier = td_tdcs_exec_read64(kvm_tdx, TD_TDCS_EXEC_TSC_MULTIPLIER); in tdx_td_init()
1838 vmcs12->tsc_multiplier = evmcs->tsc_multiplier; in copy_enlightened_to_vmcs12()2968 CC(!vmcs12->tsc_multiplier)) in nested_check_vm_execution_controls()
2054 return vmcs12->tsc_multiplier; in vmx_get_l2_tsc_multiplier()
223 u64 tsc_multiplier; member
211 u64 tsc_multiplier; member667 *value = current_evmcs->tsc_multiplier; in evmcs_vmread()1195 current_evmcs->tsc_multiplier = value; in evmcs_vmwrite()