Symbol: smr_startup_thread
sys/kern/init_main.c
532
smr_startup_thread();
sys/sys/smr.h
37
void smr_startup_thread(void);