Symbol: tspprint
sys/arch/alpha/pci/tsc.c
217
config_found(self, &pba, tspprint);
sys/arch/alpha/pci/tsc.c
83
static int tspprint(void *, const char *pnp);