Symbol: vhci_usb_detach
sys/dev/usb/vhci.c
1022
vhci_usb_detach(vfd);
sys/dev/usb/vhci.c
1200
vhci_usb_detach(vfd);