Symbol: vhci_attach