Symbol: _SPLX
sys/arch/i386/i386/machdep.c
3943
_SPLX(ncpl);
sys/arch/i386/include/profile.h
75
#define MCOUNT_EXIT __splbarrier(); _SPLX(s)