drivers/misc/vmw_vmci/vmci_doorbell.c

433

(vmci_guest_code_active() &&

drivers/misc/vmw_vmci/vmci_doorbell.c

467

if (vmci_guest_code_active()) {

drivers/misc/vmw_vmci/vmci_driver.c

135

vmci_guest_code_active() ?

drivers/misc/vmw_vmci/vmci_driver.c

43

if (vmci_guest_code_active())

drivers/misc/vmw_vmci/vmci_driver.c

79

if (vmci_guest_code_active())

drivers/misc/vmw_vmci/vmci_driver.h

48

bool vmci_guest_code_active(void);

drivers/misc/vmw_vmci/vmci_host.c

107

(!vmci_guest_code_active() ||

drivers/misc/vmw_vmci/vmci_queue_pair.c

2717

route = vmci_guest_code_active() ?

drivers/misc/vmw_vmci/vmci_route.c

26

bool has_guest_device = vmci_guest_code_active();