Symbol: ALPHA_PSL_IPL_HIGH
sys/arch/alpha/alpha/autoconf.c
99
(void)alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH);
sys/arch/alpha/alpha/machdep.c
225
(void)alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH);
sys/arch/alpha/include/intr.h
121
#define IPL_IPI ALPHA_PSL_IPL_HIGH /* occur on _CLOCK, though */
sys/arch/alpha/include/intr.h
122
#define IPL_HIGH ALPHA_PSL_IPL_HIGH
sys/arch/alpha/include/profile.h
214
s = _alpha_pal_swpipl(ALPHA_PSL_IPL_HIGH)