X86FSET_RDCL_NO
(is_x86_feature(featureset, X86FSET_RDCL_NO) &&
if (!is_x86_feature(featureset, X86FSET_RDCL_NO) &&
X86FSET_RDCL_NO);