Symbol: _SPLRAISE
sys/arch/i386/i386/machdep.c
3932
_SPLRAISE(ocpl, ncpl);
sys/arch/i386/include/profile.h
74
#define MCOUNT_ENTER _SPLRAISE(s, IPL_HIGH); __splbarrier()