Symbol: vmci_get_vm_context_id
drivers/misc/vmw_vmci/vmci_driver.c
44
return vmci_get_vm_context_id();
drivers/misc/vmw_vmci/vmci_driver.h
49
u32 vmci_get_vm_context_id(void);