Symbol: splinit
sys/arch/usermode/include/intr.h
36
void splinit(void);
sys/arch/usermode/usermode/machdep.c
277
splinit();