ALPHA_PSL_IPL_MASK
if ((tfps & ALPHA_PSL_IPL_MASK) != last_ipl) {
last_ipl = tfps & ALPHA_PSL_IPL_MASK;
#define ALPHA_PSL_USERCLR (ALPHA_PSL_MUST_BE_ZERO | ALPHA_PSL_IPL_MASK)
unsigned long _ipl_ = alpha_pal_rdps() & ALPHA_PSL_IPL_MASK; \