SEFF0EDX_IBT
if (curcpu()->ci_feature_sefflags_edx & SEFF0EDX_IBT)
if (ci->ci_feature_sefflags_edx & SEFF0EDX_IBT)
if (ci->ci_feature_sefflags_edx & SEFF0EDX_IBT) {
if (ibrs == 2 || (ci->ci_feature_sefflags_edx & SEFF0EDX_IBT)) {
if (ci->ci_feature_sefflags_edx & SEFF0EDX_IBT)
if (curcpu()->ci_feature_sefflags_edx & SEFF0EDX_IBT)
if (curcpu()->ci_feature_sefflags_edx & SEFF0EDX_IBT)
if (curcpu()->ci_feature_sefflags_edx & SEFF0EDX_IBT)
*rdx |= SEFF0EDX_IBT;
*rdx &= ~SEFF0EDX_IBT;