tht_fw_tick       587 dev/pci/if_tht.c void			tht_fw_tick(void *arg);
tht_fw_tick      1735 dev/pci/if_tht.c 	timeout_set(&ticker, tht_fw_tick, &ticker);