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