vmci_host_code_active
if (vmci_host_code_active()) {
if (vmci_host_code_active()) {
else if (vmci_host_code_active())
bool vmci_host_code_active(void);
bool has_host_device = vmci_host_code_active();