Symbol: MSR_AMD64_GUEST_TSC_FREQ
arch/x86/coco/sev/core.c
2044
rdmsrq(MSR_AMD64_GUEST_TSC_FREQ, tsc_freq_mhz);
arch/x86/coco/sev/vc-handle.c
396
if (regs->cx == MSR_AMD64_GUEST_TSC_FREQ)
arch/x86/coco/sev/vc-handle.c
416
case MSR_AMD64_GUEST_TSC_FREQ:
arch/x86/kvm/svm/sev.c
4566
svm_set_intercept_for_msr(vcpu, MSR_AMD64_GUEST_TSC_FREQ, MSR_TYPE_R,