Searched refs:tsc_bad (Results 1 – 1 of 1) sorted by relevance
4631 static void tsc_bad(void *info) in tsc_bad() function4749 smp_call_function_single(cpu, tsc_bad, NULL, 1); in kvmclock_cpu_notifier()