Searched refs:TD_TDCS_EXEC_TSC_MULTIPLIER (Results 1 – 2 of 2) sorted by relevance
| /arch/x86/kvm/vmx/ | ||
| A D | tdx_arch.h | 37 TD_TDCS_EXEC_TSC_MULTIPLIER = 11, enumerator |
| A D | tdx.c | 2806 kvm_tdx->tsc_multiplier = td_tdcs_exec_read64(kvm_tdx, TD_TDCS_EXEC_TSC_MULTIPLIER); in tdx_td_init() |
Completed in 13 milliseconds