Searched refs:acrn_get_tsc_khz (Results 1 – 2 of 2) sorted by relevance
32 x86_platform.calibrate_tsc = acrn_get_tsc_khz; in acrn_init_platform()33 x86_platform.calibrate_cpu = acrn_get_tsc_khz; in acrn_init_platform()
33 static inline unsigned long acrn_get_tsc_khz(void) in acrn_get_tsc_khz() function