thtc_print        404 dev/pci/if_tht.c int			thtc_print(void *, const char *);
thtc_print        713 dev/pci/if_tht.c 		config_found(self, &taa, thtc_print);