Symbol: tco_detach
sys/arch/x86/pci/tco.c
76
static int tco_detach(device_t, int);
sys/arch/x86/pci/tco.c
88
tco_match, tco_attach, tco_detach, NULL, NULL, NULL, 0);