Searched refs:kVhciPort (Results 1 – 1 of 1) sorted by relevance
99 const char* kVhciPort = "vhci_port"; variable433 return (*dictionary_)[kVhciPort].asInt(); in vhci_port()436 (*dictionary_)[kVhciPort] = vhci_port; in set_vhci_port()