MSR_IA32_TIME_STAMP_COUNTER 1208 arch/x86/kvm/svm.c 	case MSR_IA32_TIME_STAMP_COUNTER: {
MSR_IA32_TIME_STAMP_COUNTER 1289 arch/x86/kvm/svm.c 	case MSR_IA32_TIME_STAMP_COUNTER: {
MSR_IA32_TIME_STAMP_COUNTER  864 arch/x86/kvm/vmx.c 	case MSR_IA32_TIME_STAMP_COUNTER:
MSR_IA32_TIME_STAMP_COUNTER  922 arch/x86/kvm/vmx.c 	case MSR_IA32_TIME_STAMP_COUNTER:
MSR_IA32_TIME_STAMP_COUNTER  440 arch/x86/kvm/x86.c 	MSR_IA32_TIME_STAMP_COUNTER, MSR_KVM_SYSTEM_TIME, MSR_KVM_WALL_CLOCK,
MSR_IA32_TIME_STAMP_COUNTER  588 arch/x86/kvm/x86.c 	kvm_get_msr(v, MSR_IA32_TIME_STAMP_COUNTER,