ALPHA_PSL_IPL_SOFT_HI
__CTASSERT(SOFTINT_TO_IPL(SOFTINT_NET) == ALPHA_PSL_IPL_SOFT_HI);
__CTASSERT(SOFTINT_TO_IPL(SOFTINT_SERIAL) == ALPHA_PSL_IPL_SOFT_HI);
__CTASSERT(IPL_SOFTNET == ALPHA_PSL_IPL_SOFT_HI);
__CTASSERT(IPL_SOFTSERIAL == ALPHA_PSL_IPL_SOFT_HI);
if (ipl < ALPHA_PSL_IPL_SOFT_HI && curcpu()->ci_ssir) {
#define IPL_SOFTNET ALPHA_PSL_IPL_SOFT_HI
#define IPL_SOFTSERIAL ALPHA_PSL_IPL_SOFT_HI