ALPHA_ALL_SOFTINTS
((ALPHA_ALL_SOFTINTS << ((ipl) << 1)) & ALPHA_ALL_SOFTINTS)
__CTASSERT((ALPHA_ALL_SOFTINTS & ~0xfUL) == 0);
__CTASSERT(SOFTINTS_ELIGIBLE(IPL_NONE) == ALPHA_ALL_SOFTINTS);
KASSERT(si_bit & ALPHA_ALL_SOFTINTS);