vmci_guest_code_active
(vmci_guest_code_active() &&
if (vmci_guest_code_active()) {
vmci_guest_code_active() ?
if (vmci_guest_code_active())
if (vmci_guest_code_active())
bool vmci_guest_code_active(void);
(!vmci_guest_code_active() ||
route = vmci_guest_code_active() ?
bool has_guest_device = vmci_guest_code_active();