Symbol: vhci_port_t