KVM_MAX_NR_USER_RETURN_MSRS
} values[KVM_MAX_NR_USER_RETURN_MSRS];
static u32 __read_mostly kvm_uret_msrs_list[KVM_MAX_NR_USER_RETURN_MSRS];
BUG_ON(kvm_nr_uret_msrs >= KVM_MAX_NR_USER_RETURN_MSRS);