__splbarrier       65 arch/i386/include/profile.h #define	MCOUNT_ENTER	_SPLRAISE(s, IPL_HIGH); __splbarrier()
__splbarrier       66 arch/i386/include/profile.h #define	MCOUNT_EXIT	__splbarrier(); _SPLX(s)