vmci_detach
vmci_detach(dev);
static int vmci_detach(device_t);
DEVMETHOD(device_detach, vmci_detach),