Symbol: vhci_fd_t