_SPLRAISE        4226 arch/i386/i386/machdep.c 	_SPLRAISE(ocpl, ncpl);
_SPLRAISE          65 arch/i386/include/profile.h #define	MCOUNT_ENTER	_SPLRAISE(s, IPL_HIGH); __splbarrier()