kvm_is_supported_user_return_msr
!kvm_is_supported_user_return_msr(MSR_TSC_AUX))) {
if (!kvm_is_supported_user_return_msr(MSR_TSC_AUX))