Symbol: tcotimer_configure
sys/arch/x86/pci/ichlpcib.c
143
static void tcotimer_configure(device_t);
sys/arch/x86/pci/ichlpcib.c
389
tcotimer_configure(self);
sys/arch/x86/pci/ichlpcib.c
479
tcotimer_configure(self);