kvm_gen_update_masterclock 5127 arch/x86/kvm/x86.c 		kvm_gen_update_masterclock(kvm);
kvm_gen_update_masterclock 8050 arch/x86/kvm/x86.c 			kvm_gen_update_masterclock(vcpu->kvm);