ALPHA_PSL_IPL_HIGH
(void)alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH);
psl = alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH);
KASSERT(alpha_pal_rdps() == ALPHA_PSL_IPL_HIGH);
KASSERT(alpha_pal_rdps() == ALPHA_PSL_IPL_HIGH); \
KASSERT(alpha_pal_rdps() == ALPHA_PSL_IPL_HIGH);
(void) alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH);
(void)alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH);
const unsigned long psl = alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH);
#define IPL_HIGH ALPHA_PSL_IPL_HIGH
s = _alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH)
const unsigned long psl = alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH);
const u_long psl = alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH);
uc->uc_mcontext.__gregs[_REG_PS] |= ALPHA_PSL_IPL_HIGH;