Symbol: vhci_dev_fo