Searched refs:tsc_bad (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/arch/x86/kvm/
H A Dx86.c5490 static void tsc_bad(void *info) tsc_bad() function
5608 smp_call_function_single(cpu, tsc_bad, NULL, 1); kvmclock_cpu_notifier()

Completed in 98 milliseconds