hil_thread        103 dev/hil/hil.c  void	hil_thread(void *);
hil_thread        254 dev/hil/hil.c  	if (kthread_create(hil_thread, sc, &sc->sc_thread,