Searched refs:MSR_AMD64_GUEST_TSC_FREQ (Results 1 – 4 of 4) sorted by relevance
661 #define MSR_AMD64_GUEST_TSC_FREQ 0xc0010134 macro
2044 rdmsrq(MSR_AMD64_GUEST_TSC_FREQ, tsc_freq_mhz); in snp_secure_tsc_init()
4674 svm_set_intercept_for_msr(vcpu, MSR_AMD64_GUEST_TSC_FREQ, MSR_TYPE_R, in sev_vcpu_after_set_cpuid()