ALPHA_PSL_IPL_CLOCK
KASSERT(alpha_pal_rdps() < ALPHA_PSL_IPL_CLOCK);
#define IPL_SCHED ALPHA_PSL_IPL_CLOCK
if (_ipl_ >= ALPHA_PSL_IPL_CLOCK) { \