MSR_TSC_AUX
wrmsrq(MSR_TSC_AUX, cpudata);
!kvm_is_supported_user_return_msr(MSR_TSC_AUX))) {
ctxt->ops->get_msr(ctxt, MSR_TSC_AUX, &tsc_aux);
svm_set_intercept_for_msr(vcpu, MSR_TSC_AUX, MSR_TYPE_RW,
case MSR_TSC_AUX:
case MSR_TSC_AUX:
tsc_aux_uret_slot = kvm_add_user_return_msr(MSR_TSC_AUX);
{.msr = MSR_TSC_AUX,},
vmx_setup_uret_msr(vmx, MSR_TSC_AUX,
MSR_EFER, MSR_TSC_AUX, MSR_STAR,
case MSR_TSC_AUX:
if (!kvm_is_supported_user_return_msr(MSR_TSC_AUX))
case MSR_TSC_AUX:
if (!kvm_is_supported_user_return_msr(MSR_TSC_AUX))
MSR_IA32_FEAT_CTL, MSR_IA32_BNDCFGS, MSR_TSC_AUX,
case MSR_TSC_AUX:
MSR_TEST2(MSR_TSC_AUX, 0x12345678, u64_val, RDTSCP, RDPID),
MSR_TEST2(MSR_TSC_AUX, 0x12345678, u64_val, RDPID, RDTSCP),
case MSR_TSC_AUX: