Searched refs:acrn_get_tsc_khz (Results 1 - 2 of 2) sorted by relevance

/linux-master/arch/x86/kernel/cpu/
H A Dacrn.c32 x86_platform.calibrate_tsc = acrn_get_tsc_khz;
33 x86_platform.calibrate_cpu = acrn_get_tsc_khz;
/linux-master/arch/x86/include/asm/
H A Dacrn.h33 static inline unsigned long acrn_get_tsc_khz(void) function

Completed in 91 milliseconds