Symbol: rnd_init_softint
sys/kern/init_main.c
557
rnd_init_softint();
sys/rump/librump/rumpkern/rump.c
400
rnd_init_softint();
sys/sys/rnd.h
46
void rnd_init_softint(void);