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