kvmclock           26 arch/x86/kernel/kvmclock.c static int kvmclock __initdata = 1;
kvmclock           34 arch/x86/kernel/kvmclock.c 	kvmclock = 0;
kvmclock          312 arch/x86/kernel/kvmclock.c 	if (!kvm_para_available() || !kvmclock)