CPUIDEBX_IBRS
} else if ((ci->ci_feature_amdspec_ebx & CPUIDEBX_IBRS) &&
#define VMM_AMDSPEC_EBX_MASK ~(CPUIDEBX_IBPB | CPUIDEBX_IBRS | \