SEFF0EDX_ARCH_CAP
(sefflags_edx & SEFF0EDX_ARCH_CAP)) {
if ((ci->ci_feature_sefflags_edx & SEFF0EDX_ARCH_CAP) &&
if ((ci->ci_feature_sefflags_edx & SEFF0EDX_ARCH_CAP))
if (ci->ci_feature_sefflags_edx & SEFF0EDX_ARCH_CAP) {
if (ci->ci_feature_sefflags_edx & SEFF0EDX_ARCH_CAP) {
(sefflags_edx & SEFF0EDX_ARCH_CAP)) {