Symbol: VMCI_GET_CONTEXT_ID
sys/dev/vmware/vmci/vmci_driver.c
161
msg->resources[0] = VMCI_GET_CONTEXT_ID;
sys/dev/vmware/vmci/vmci_driver.c
393
VMCI_GET_CONTEXT_ID);