Searched refs:jailhouse_get_tsc (Results 1 – 1 of 1) sorted by relevance
70 static unsigned long jailhouse_get_tsc(void) in jailhouse_get_tsc() function212 x86_platform.calibrate_cpu = jailhouse_get_tsc; in jailhouse_init_platform()213 x86_platform.calibrate_tsc = jailhouse_get_tsc; in jailhouse_init_platform()