X86FSET_INVPCID
(is_x86_feature(x86_featureset, X86FSET_INVPCID) ? "disabled" :
ASSERT(is_x86_feature(x86_featureset, X86FSET_INVPCID));
add_x86_feature(featureset, X86FSET_INVPCID);
X86FSET_INVPCID);