Symbol: alpha_pal_rdps
sys/arch/alpha/alpha/interrupt.c
505
KASSERT(alpha_pal_rdps() == ALPHA_PSL_IPL_HIGH);
sys/arch/alpha/alpha/interrupt.c
537
KASSERT(alpha_pal_rdps() == ALPHA_PSL_IPL_HIGH); \
sys/arch/alpha/alpha/interrupt.c
555
KASSERT(alpha_pal_rdps() == ALPHA_PSL_IPL_HIGH);
sys/arch/alpha/alpha/pmap.c
1030
KASSERT(alpha_pal_rdps() < ALPHA_PSL_IPL_CLOCK);
sys/arch/alpha/alpha/pmap.c
1124
alpha_pal_rdps());
sys/arch/alpha/include/intr.h
160
int cur = (int)alpha_pal_rdps();
sys/arch/alpha/include/lock.h
163
unsigned long _ipl_ = alpha_pal_rdps() & ALPHA_PSL_IPL_MASK; \