Symbol: tcotimer_disable_noreboot
sys/arch/x86/pci/tco.c
163
if (tcotimer_disable_noreboot(self)) {
sys/arch/x86/pci/tco.c
85
static int tcotimer_disable_noreboot(device_t);