Symbol: vmci_event_subscribe
sys/dev/vmware/vmci/vmci_driver.c
86
if (vmci_event_subscribe(VMCI_EVENT_CTX_ID_UPDATE,
sys/dev/vmware/vmci/vmci_kernel_api_1.h
37
int vmci_event_subscribe(vmci_event_type event, vmci_event_cb callback,