Searched refs:ACRN_CPUID_TIMING_INFO (Results 1 – 1 of 1) sorted by relevance
20 #define ACRN_CPUID_TIMING_INFO 0x40000010 macro35 return cpuid_eax(ACRN_CPUID_TIMING_INFO); in acrn_get_tsc_khz()