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