Symbol: VMCI_EVENT_HANDLER
sys/dev/vmware/vmci/vmci_driver.c
316
dg->dst.resource == VMCI_EVENT_HANDLER)
sys/dev/vmware/vmci/vmci_event.c
466
msg->dst.resource == VMCI_EVENT_HANDLER);
sys/dev/vmware/vmci/vmci_queue_pair.c
926
e_msg->hdr.dst = VMCI_MAKE_HANDLE(context_id, VMCI_EVENT_HANDLER);