Symbol: tsciicprint
sys/arch/alpha/pci/tsc.c
161
config_found(self, &tsciic, tsciicprint, CFARGS_NONE);
sys/arch/alpha/pci/tsc.c
78
static int tsciicprint(void *, const char *pnp);