Searched refs:tsc_multiplier (Results 1 – 3 of 3) sorted by relevance
73 u64 tsc_multiplier; member256 CHECK_OFFSET(tsc_multiplier, 328); in vmx_check_vmcs12_offsets()
39 FIELD64(TSC_MULTIPLIER, tsc_multiplier),
1787 return vmcs12->tsc_multiplier; in vmx_get_l2_tsc_multiplier()