Searched refs:TD_TDCS_EXEC_TSC_MULTIPLIER (Results 1 – 2 of 2) sorted by relevance
37 TD_TDCS_EXEC_TSC_MULTIPLIER = 11, enumerator
2761 kvm_tdx->tsc_multiplier = td_tdcs_exec_read64(kvm_tdx, TD_TDCS_EXEC_TSC_MULTIPLIER); in tdx_td_init()