kvm_register_clock  190 arch/x86/kernel/kvmclock.c 	kvm_register_clock("primary cpu clock, resume");
kvm_register_clock  196 arch/x86/kernel/kvmclock.c 	kvm_register_clock("secondary cpu clock");
kvm_register_clock  331 arch/x86/kernel/kvmclock.c 	kvm_register_clock("primary cpu clock");