Symbol: softclock_handler
sys/kern/kern_timeout.c
159
static void softclock_handler(void *arg);
sys/kern/kern_timeout.c
423
lwkt_create(softclock_handler, sc, NULL, &sc->thread,