_SPLX            4237 arch/i386/i386/machdep.c 	_SPLX(ncpl);
_SPLX              66 arch/i386/include/profile.h #define	MCOUNT_EXIT	__splbarrier(); _SPLX(s)