kvm_clock_read     83 arch/x86/kernel/kvmclock.c 	.read = kvm_clock_read,
kvm_clock_read    155 arch/x86/kernel/kvmclock.c 		pv_time_ops.sched_clock = kvm_clock_read;