IPL_HIGH           27 arch/i386/i386/db_mp.c struct mutex ddb_mp_mutex = MUTEX_INITIALIZER(IPL_HIGH);
IPL_HIGH           27 arch/i386/i386/mp_setperf.c struct mutex setperf_mp_mutex = MUTEX_INITIALIZER(IPL_HIGH);
IPL_HIGH          138 arch/i386/i386/mp_setperf.c 	mtx_init(&setperf_mp_mutex, IPL_HIGH);
IPL_HIGH          127 arch/i386/include/intr.h #define	splhigh()	splraise(IPL_HIGH)
IPL_HIGH           65 arch/i386/include/profile.h #define	MCOUNT_ENTER	_SPLRAISE(s, IPL_HIGH); __splbarrier()
IPL_HIGH          139 arch/i386/isa/clock.c struct mutex timer_mutex = MUTEX_INITIALIZER(IPL_HIGH);
IPL_HIGH          318 arch/i386/isa/isa_machdep.c 			maxlevel = IPL_HIGH;
IPL_HIGH          319 arch/i386/isa/isa_machdep.c 			irqs = IMASK(IPL_HIGH);
IPL_HIGH          396 arch/i386/isa/pccom.c 				    IST_EDGE, IPL_HIGH, kgdbintr, sc,
IPL_HIGH          400 arch/i386/isa/pccom.c 				    IST_EDGE, IPL_HIGH, comintr, sc,
IPL_HIGH          405 arch/i386/isa/pccom.c 			    IST_EDGE, IPL_HIGH, comintr, sc,
IPL_HIGH          163 dev/isa/com_isa.c 				IST_EDGE, IPL_HIGH, kgdbintr, sc,
IPL_HIGH          145 dev/isa/com_isapnp.c 				IST_EDGE, IPL_HIGH, kgdbintr, sc,
IPL_HIGH         1036 dev/pci/pccbb.c 		} else if (pil->pil_level == IPL_HIGH) {
IPL_HIGH         1038 dev/pci/pccbb.c 		if (pil->pil_level == IPL_HIGH) {
IPL_HIGH           80 kern/kern_timeout.c struct mutex timeout_mutex = MUTEX_INITIALIZER(IPL_HIGH);
IPL_HIGH          101 kern/subr_prf.c struct mutex kprintf_mutex = MUTEX_INITIALIZER(IPL_HIGH);
IPL_HIGH          142 sys/sched.h    #define IPL_SCHED IPL_HIGH