dc_tick           144 dev/ic/dc.c    void dc_tick(void *);
dc_tick          2956 dev/ic/dc.c    	timeout_set(&sc->dc_tick_tmo, dc_tick, sc);