Searched refs:tsc_frequency (Results 1 – 2 of 2) sorted by relevance
| /arch/x86/kvm/vmx/ | ||
| A D | tdx_arch.h | 97 u16 tsc_frequency; member |
| A D | tdx.c | 2428 td_params->tsc_frequency = TDX_TSC_KHZ_TO_25MHZ(kvm->arch.default_tsc_khz); in setup_tdparams() |
Completed in 11 milliseconds