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");