Symbol: thtc_print
sys/dev/pci/if_tht.c
402
int thtc_print(void *, const char *);
sys/dev/pci/if_tht.c
715
config_found(self, &taa, thtc_print);