svm_msrpm_bit_nr
bit_nr = svm_msrpm_bit_nr(msr);
int bit_nr = svm_msrpm_bit_nr(merge_msrs[i]);
bit_nr = svm_msrpm_bit_nr(msr); \