Symbol: __splbarrier
sys/arch/i386/include/profile.h
74
#define MCOUNT_ENTER _SPLRAISE(s, IPL_HIGH); __splbarrier()
sys/arch/i386/include/profile.h
75
#define MCOUNT_EXIT __splbarrier(); _SPLX(s)