ALPHA_PSL_IPL_SOFT_LO
(ALPHA_PSL_IPL_SOFT_LO + ((ALPHA_IPL2_SOFTINTS >> (si)) & 1))
__CTASSERT(SOFTINT_TO_IPL(SOFTINT_CLOCK) == ALPHA_PSL_IPL_SOFT_LO);
__CTASSERT(SOFTINT_TO_IPL(SOFTINT_BIO) == ALPHA_PSL_IPL_SOFT_LO);
__CTASSERT(IPL_SOFTCLOCK == ALPHA_PSL_IPL_SOFT_LO);
__CTASSERT(IPL_SOFTBIO == ALPHA_PSL_IPL_SOFT_LO);
#define IPL_SOFTCLOCK ALPHA_PSL_IPL_SOFT_LO
#define IPL_SOFTBIO ALPHA_PSL_IPL_SOFT_LO
#define IPL_SOFTNET ALPHA_PSL_IPL_SOFT_LO
#define IPL_SOFTSERIAL ALPHA_PSL_IPL_SOFT_LO