Symbol: softclock_thread
sys/kern/kern_timeout.c
201
void softclock_thread(void *);
sys/kern/kern_timeout.c
814
if (kthread_create(softclock_thread, NULL, NULL, "softclock"))