X86FSET_PBRSB_NO
X86FSET_PBRSB_NO);
cpuid_patch_rsb(v2mit, is_x86_feature(featureset, X86FSET_PBRSB_NO));