Symbol: hil_thread
sys/dev/hil/hil.c
102
void hil_thread(void *);
sys/dev/hil/hil.c
253
if (kthread_create(hil_thread, sc, &sc->sc_thread,