X86FSET_XSAVE
ASSERT(is_x86_feature(x86_featureset, X86FSET_XSAVE));
add_x86_feature(featureset, X86FSET_XSAVE);
if (is_x86_feature(x86_featureset, X86FSET_XSAVE)) {
X86FSET_XSAVE);
X86FSET_XSAVE) == B_FALSE);
{ AV_386_XSAVE, X86FSET_XSAVE },
ASSERT(is_x86_feature(x86_featureset, X86FSET_XSAVE));
ASSERT(is_x86_feature(x86_featureset, X86FSET_XSAVE));
if (is_x86_feature(x86_featureset, X86FSET_XSAVE)) {