Symbol: tsciicbb_read
sys/arch/alpha/pci/tsciic.c
80
uint32_t tsciicbb_read(void *);
sys/arch/alpha/pci/tsciic.c
87
.ibo_read_bits = tsciicbb_read,